0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.31/0.42 c Default LC presolving (default).
0.41/0.42 c ** Before presolving: virtualMemUsedAtLc = 194895683, getVmSize() = 149237760, SCIPgetMemUsed() = 115404463, SCIPgetMemTotal() = 123455047, SCIPgetMemExternEstim() = 71440636
0.41/0.42 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
0.68/0.78 c ** Estimated virtualMemUsedAtSolver = 150803298, getVmSize() = 182882304, SCIPgetMemUsed() = 112647831, SCIPgetMemTotal() = 154764311, SCIPgetMemExternEstim() = 71440636
0.68/0.78 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.68/0.78 c Original Problem :
0.68/0.78 c Problem name : instance-4459851-1721939472
0.68/0.78 c Variables : 37960 (500 binary, 0 integer, 37460 implicit integer, 0 continuous)
0.68/0.78 c Constraints : 38460
0.68/0.78 c Objective sense : minimize
0.68/0.78 c Presolved Problem :
0.68/0.78 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.78 c Constraints : 500
0.68/0.78 c Constraints : Number
0.68/0.78 c logicor : 500
0.68/0.78 c ** Instance transfer method used: 0
0.68/0.79 c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.81 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.81 c Nodes Active
0.79/0.81 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.79/0.82 c * 1 0 1 1 500.0000 - -
0.88/0.98 c * 1 0 1 1 15.0000 - -
40.75/40.99 c 41 2 1 1 15.0000 6.5945 127.46%
48.03/48.27 c 48 4 3 1 15.0000 6.5945 127.46%
53.22/53.47 c 53 7 6 1 15.0000 6.5945 127.46%
58.49/58.75 c 59 20 11 1 15.0000 6.5945 127.46%
64.28/64.55 c 65 51 34 1 15.0000 6.5945 127.46%
70.06/70.34 c 70 87 58 1 15.0000 6.5945 127.46%
76.64/76.97 c 77 105 74 1 15.0000 6.5945 127.46%
82.12/82.42 c 82 127 96 1 15.0000 6.5945 127.46%
87.81/88.11 c 88 140 109 1 15.0000 6.6092 126.96%
93.38/93.75 c 94 154 123 1 15.0000 6.6147 126.77%
99.47/99.82 c 100 173 142 1 15.0000 6.6278 126.32%
105.45/105.83 c 106 193 162 1 15.0000 6.6350 126.07%
112.02/112.42 c 112 201 172 1 15.0000 6.6511 125.53%
117.30/117.70 c 118 217 186 1 15.0000 6.6560 125.36%
122.30/122.79 c 123 233 202 1 15.0000 6.6777 124.63%
127.38/127.87 c 128 243 212 1 15.0000 6.6989 123.92%
132.46/132.97 c 133 255 224 1 15.0000 6.6989 123.92%
137.74/138.20 c 138 274 243 1 15.0000 6.7046 123.73%
143.42/143.91 c 144 295 264 1 15.0000 6.7199 123.22%
149.01/149.59 c 150 308 277 1 15.0000 6.7777 121.31%
154.68/155.28 c 155 320 289 1 15.0000 6.7861 121.04%
160.27/160.86 c 161 328 297 1 15.0000 6.8048 120.43%
166.45/167.03 c 167 342 311 1 15.0000 6.8222 119.87%
171.53/172.19 c 172 351 320 1 15.0000 6.8406 119.28%
176.69/177.36 c 177 359 328 1 15.0000 6.8700 118.34%
181.68/182.40 c 182 372 341 1 15.0000 6.9250 116.61%
186.76/187.43 c 187 382 351 1 15.0000 6.9435 116.03%
193.03/193.74 c 194 391 360 1 15.0000 6.9594 115.54%
198.42/199.15 c 199 399 368 1 15.0000 6.9866 114.70%
203.79/204.54 c 205 412 381 1 15.0000 7.0085 114.02%
208.88/209.69 c 210 423 392 1 15.0000 7.0160 113.80%
214.27/215.09 c 215 430 399 1 15.0000 7.0478 112.83%
219.93/220.79 c 221 446 415 1 15.0000 7.0630 112.37%
226.11/226.92 c 227 469 438 1 15.0000 7.0630 112.37%
231.98/232.89 c 233 485 454 1 15.0000 7.1177 110.74%
237.57/238.44 c 238 503 472 1 15.0000 7.1440 109.97%
243.34/244.29 c 244 522 491 1 15.0000 7.1567 109.59%
249.02/249.98 c 250 543 512 1 15.0000 7.1860 108.74%
254.70/255.69 c 256 574 543 1 15.0000 7.2103 108.04%
260.28/261.30 c 261 603 572 1 15.0000 7.2538 106.79%
266.95/267.98 c 268 636 605 1 15.0000 7.2651 106.47%
272.34/273.35 c 273 671 640 1 15.0000 7.2768 106.13%
277.42/278.45 c 278 706 675 1 15.0000 7.3130 105.11%
282.50/283.59 c 284 742 711 1 15.0000 7.3271 104.72%
287.68/288.76 c 289 777 746 1 15.0000 7.3486 104.12%
293.16/294.26 c 294 820 789 1 15.0000 7.3658 103.64%
299.05/300.14 c 300 859 828 1 15.0000 7.3658 103.64%
304.32/305.44 c 305 899 866 1 15.0000 7.3658 103.64%
309.80/310.91 c 311 929 896 1 15.0000 7.3658 103.64%
314.99/316.17 c 316 967 932 1 15.0000 7.3658 103.64%
320.16/321.35 c 321 1002 967 1 15.0000 7.3658 103.64%
325.54/326.72 c 327 1048 1013 1 15.0000 7.3658 103.64%
330.72/331.95 c 332 1088 1051 1 15.0000 7.3658 103.64%
336.20/337.40 c 337 1126 1087 1 15.0000 7.3658 103.64%
341.49/342.79 c 343 1171 1132 1 15.0000 7.3658 103.64%
347.16/348.48 c 348 1220 1179 1 15.0000 7.3658 103.64%
352.75/354.04 c 354 1270 1229 1 15.0000 7.3658 103.64%
358.22/359.56 c 360 1315 1274 1 15.0000 7.3658 103.64%
363.81/365.15 c 365 1368 1321 1 15.0000 7.3851 103.11%
369.58/370.95 c 371 1420 1365 1 15.0000 7.3851 103.11%
374.86/376.29 c 376 1467 1406 1 15.0000 7.3989 102.73%
384.82/386.28 c 386 1469 0 1 15.0000 7.3989 102.73%
413.91/415.44 c 415 1470 1 1 15.0000 7.3989 102.73%
419.69/421.24 c 421 1479 10 1 15.0000 7.3989 102.73%
425.86/427.42 c 427 1490 21 1 15.0000 7.3989 102.73%
431.94/433.52 c 434 1503 34 1 15.0000 7.3989 102.73%
437.92/439.59 c 440 1509 40 1 15.0000 7.3989 102.73%
443.51/445.18 c 445 1517 48 1 15.0000 7.3989 102.73%
450.07/451.70 c 452 1526 57 1 15.0000 7.3989 102.73%
455.15/456.86 c 457 1532 63 1 15.0000 7.3989 102.73%
461.04/462.71 c 463 1541 72 1 15.0000 7.3989 102.73%
467.91/469.61 c 470 1555 86 1 15.0000 7.3989 102.73%
473.99/475.74 c 476 1565 96 1 15.0000 7.3989 102.73%
479.38/481.18 c 481 1577 108 1 15.0000 7.3989 102.73%
484.55/486.36 c 486 1587 118 1 15.0000 7.3989 102.73%
489.63/491.48 c 491 1594 125 1 15.0000 7.3989 102.73%
495.01/496.84 c 497 1607 138 1 15.0000 7.3989 102.73%
500.69/502.53 c 503 1624 155 1 15.0000 7.3989 102.73%
507.57/509.46 c 509 1641 172 1 15.0000 7.3989 102.73%
513.34/515.23 c 515 1656 187 1 15.0000 7.3989 102.73%
519.13/521.01 c 521 1670 201 1 15.0000 7.3989 102.73%
524.30/526.24 c 526 1682 213 1 15.0000 7.3989 102.73%
529.78/531.77 c 532 1697 228 1 15.0000 7.3989 102.73%
534.86/536.87 c 537 1713 244 1 15.0000 7.3989 102.73%
539.85/541.89 c 542 1727 258 1 15.0000 7.3989 102.73%
545.62/547.64 c 548 1741 272 1 15.0000 7.3989 102.73%
550.80/552.84 c 553 1752 283 1 15.0000 7.3989 102.73%
557.28/559.30 c 559 1770 301 1 15.0000 7.3989 102.73%
563.07/565.15 c 565 1780 311 1 15.0000 7.3989 102.73%
569.53/571.69 c 572 1793 324 1 15.0000 7.3989 102.73%
574.92/577.05 c 577 1808 339 1 15.0000 7.3989 102.73%
580.19/582.36 c 582 1821 352 1 15.0000 7.3989 102.73%
586.07/588.23 c 588 1831 362 1 15.0000 7.3989 102.73%
591.25/593.45 c 593 1843 374 1 15.0000 7.3989 102.73%
596.43/598.69 c 599 1858 389 1 15.0000 7.3989 102.73%
602.10/604.34 c 604 1870 401 1 15.0000 7.3989 102.73%
607.38/609.61 c 610 1886 417 1 15.0000 7.3989 102.73%
613.07/615.32 c 615 1901 432 1 15.0000 7.3989 102.73%
619.04/621.39 c 621 1922 453 1 15.0000 7.3989 102.73%
625.02/627.30 c 627 1944 475 1 15.0000 7.3989 102.73%
631.19/633.59 c 634 1961 492 1 15.0000 7.3989 102.73%
637.98/640.36 c 640 1985 516 1 15.0000 7.3989 102.73%
643.16/645.54 c 646 2001 532 1 15.0000 7.3989 102.73%
648.14/650.57 c 651 2022 553 1 15.0000 7.3989 102.73%
653.22/655.64 c 656 2041 572 1 15.0000 7.3989 102.73%
659.00/661.41 c 661 2059 590 1 15.0000 7.3989 102.73%
664.08/666.59 c 667 2078 609 1 15.0000 7.3989 102.73%
669.86/672.34 c 672 2103 634 1 15.0000 7.3989 102.73%
675.44/677.94 c 678 2131 662 1 15.0000 7.3989 102.73%
680.72/683.27 c 683 2153 684 1 15.0000 7.3989 102.73%
686.70/689.26 c 689 2184 715 1 15.0000 7.3989 102.73%
692.78/695.33 c 695 2210 741 1 15.0000 7.3989 102.73%
698.26/700.85 c 701 2239 770 1 15.0000 7.3989 102.73%
703.64/706.25 c 706 2267 798 1 15.0000 7.3989 102.73%
709.73/712.36 c 712 2298 829 1 15.0000 7.3989 102.73%
715.22/717.83 c 718 2326 857 1 15.0000 7.3989 102.73%
720.70/723.30 c 723 2360 891 1 15.0000 7.4225 102.09%
725.98/728.67 c 729 2400 931 1 15.0000 7.4225 102.09%
731.37/734.11 c 734 2432 963 1 15.0000 7.4225 102.09%
736.94/739.64 c 740 2469 1000 1 15.0000 7.4378 101.67%
742.52/745.21 c 745 2515 1046 1 15.0000 7.4378 101.67%
748.11/750.81 c 751 2550 1081 1 15.0000 7.4563 101.17%
753.69/756.43 c 756 2596 1127 1 15.0000 7.4563 101.17%
759.67/762.49 c 762 2648 1179 1 15.0000 7.4578 101.13%
764.95/767.74 c 768 2684 1215 1 15.0000 7.4578 101.13%
770.24/773.08 c 773 2722 1253 1 15.0000 7.4692 100.82%
776.23/779.06 c 779 2765 1296 1 15.0000 7.4692 100.82%
781.70/784.58 c 785 2810 1341 1 15.0000 7.4903 100.26%
787.19/790.09 c 790 2843 1372 1 15.0000 7.5251 99.33%
792.27/795.14 c 795 2874 1403 1 15.0000 7.5408 98.92%
797.84/800.79 c 801 2920 1449 1 15.0000 7.5622 98.35%
803.73/806.63 c 807 2970 1499 1 15.0000 7.5675 98.22%
809.80/812.71 c 813 3020 1549 1 15.0000 7.5713 98.12%
814.90/817.84 c 818 3069 1598 1 15.0000 7.5745 98.03%
820.19/823.17 c 823 3105 1630 1 15.0000 7.5750 98.02%
826.17/829.15 c 829 3162 1683 1 15.0000 7.5760 97.99%
831.84/834.81 c 835 3226 1735 1 15.0000 7.5831 97.81%
837.41/840.43 c 840 3280 1785 1 15.0000 7.5835 97.80%
843.02/846.04 c 846 3338 1835 1 15.0000 7.5835 97.80%
848.28/851.38 c 851 3392 1883 1 15.0000 7.5897 97.64%
853.97/857.03 c 857 3443 1934 1 15.0000 7.5974 97.44%
859.74/862.83 c 863 3501 1984 1 15.0000 7.6004 97.36%
865.22/868.33 c 868 3547 2028 1 15.0000 7.6004 97.36%
871.11/874.25 c 874 3604 2077 1 15.0000 7.6058 97.22%
876.29/879.48 c 879 3660 2131 1 15.0000 7.6058 97.22%
882.27/885.47 c 885 3724 2193 1 15.0000 7.6064 97.20%
887.45/890.70 c 891 3781 2242 1 15.0000 7.6064 97.20%
892.95/896.17 c 896 3822 2283 1 15.0000 7.6087 97.14%
898.42/901.62 c 902 3880 2339 1 15.0000 7.6087 97.14%
904.10/907.33 c 907 3934 2385 1 15.0000 7.6100 97.11%
909.38/912.65 c 913 3989 2434 1 15.0000 7.6100 97.11%
914.67/917.96 c 918 4044 2483 1 15.0000 7.6169 96.93%
920.15/923.44 c 923 4100 2533 1 15.0000 7.6169 96.93%
926.22/929.52 c 930 4155 2586 1 15.0000 7.6194 96.87%
931.73/935.01 c 935 4210 2635 1 15.0000 7.6194 96.87%
937.49/940.86 c 941 4275 2688 1 15.0000 7.6223 96.79%
942.87/946.27 c 946 4332 2739 1 15.0000 7.6223 96.79%
948.85/952.28 c 952 4396 2795 1 15.0000 7.6334 96.51%
953.94/957.37 c 957 4444 2839 1 15.0000 7.6383 96.38%
959.62/963.10 c 963 4496 2889 1 15.0000 7.6383 96.38%
964.89/968.34 c 968 4550 2937 1 15.0000 7.6416 96.30%
970.48/973.95 c 974 4596 2979 1 15.0000 7.6416 96.30%
976.36/979.82 c 980 4652 3035 1 15.0000 7.6416 96.30%
982.13/985.61 c 986 4709 3088 1 15.0000 7.6432 96.25%
987.81/991.35 c 991 4774 3147 1 15.0000 7.6480 96.13%
993.40/996.90 c 997 4828 3197 1 15.0000 7.6480 96.13%
998.49/1002.06 c 1002 4875 3242 1 15.0000 7.6481 96.13%
1003.58/1007.19 c 1007 4931 3294 1 15.0000 7.6481 96.13%
1008.74/1012.31 c 1012 4980 3341 1 15.0000 7.6514 96.04%
1014.33/1017.92 c 1018 5039 3390 1 15.0000 7.6514 96.04%
1020.11/1023.72 c * 1024 5093 3432 1 14.0000 7.6588 82.80%
1020.11/1023.72 c 1024 5093 3432 1 14.0000 7.6588 82.80%
1025.99/1029.62 c 1030 5176 2947 1 14.0000 7.6614 82.73%
1031.38/1035.07 c 1035 5247 2988 1 14.0000 7.6614 82.73%
1036.95/1040.62 c 1041 5305 3020 1 14.0000 7.6632 82.69%
1042.23/1045.92 c 1046 5366 3053 1 14.0000 7.6632 82.69%
1047.80/1051.50 c 1052 5430 3091 1 14.0000 7.6650 82.65%
1053.59/1057.32 c 1057 5500 3133 1 14.0000 7.6731 82.46%
1058.87/1062.66 c 1063 5546 3165 1 14.0000 7.6738 82.44%
1064.45/1068.29 c 1068 5623 3212 1 14.0000 7.6738 82.44%
1069.93/1073.79 c 1074 5689 3250 1 14.0000 7.6738 82.44%
1075.12/1078.91 c 1079 5748 3285 1 14.0000 7.6777 82.35%
1080.21/1084.08 c 1084 5796 3319 1 14.0000 7.6792 82.31%
1085.78/1089.68 c 1090 5860 3367 1 14.0000 7.6792 82.31%
1091.18/1095.04 c 1095 5911 3406 1 14.0000 7.6814 82.26%
1096.75/1100.60 c 1101 5979 3446 1 14.0000 7.6814 82.26%
1101.83/1105.70 c 1106 6031 3482 1 14.0000 7.6814 82.26%
1106.91/1110.86 c 1111 6096 3525 1 14.0000 7.6814 82.26%
1112.21/1116.16 c 1116 6151 3558 1 14.0000 7.6841 82.19%
1117.78/1121.79 c 1122 6219 3602 1 14.0000 7.6843 82.19%
1123.17/1127.19 c 1127 6270 3641 1 14.0000 7.6843 82.19%
1128.24/1132.25 c 1132 6331 3676 1 14.0000 7.6918 82.01%
1133.53/1137.59 c 1138 6389 3714 1 14.0000 7.6918 82.01%
1139.21/1143.29 c 1143 6460 3755 1 14.0000 7.6921 82.00%
1144.70/1148.74 c 1149 6515 3794 1 14.0000 7.6921 82.00%
1149.88/1153.92 c 1154 6582 3837 1 14.0000 7.6921 82.00%
1155.97/1160.02 c 1160 6654 3883 1 14.0000 7.6921 82.00%
1161.06/1165.19 c 1165 6715 3922 1 14.0000 7.6927 81.99%
1166.43/1170.58 c 1171 6756 3961 1 14.0000 7.6927 81.99%
1172.02/1176.15 c 1176 6820 4001 1 14.0000 7.6976 81.88%
1177.59/1181.78 c 1182 6889 4038 1 14.0000 7.6982 81.86%
1182.89/1187.08 c 1187 6940 4075 1 14.0000 7.6985 81.85%
1188.66/1192.87 c 1193 7010 4115 1 14.0000 7.6985 81.85%
1194.04/1198.28 c 1198 7070 4151 1 14.0000 7.6985 81.85%
1199.72/1203.92 c 1204 7131 4190 1 14.0000 7.6985 81.85%
1205.50/1209.78 c 1210 7184 4229 1 14.0000 7.7003 81.81%
1211.58/1215.87 c 1216 7241 4268 1 14.0000 7.7003 81.81%
1217.47/1221.73 c 1222 7300 4309 1 14.0000 7.7012 81.79%
1223.05/1227.39 c 1227 7355 4344 1 14.0000 7.7012 81.79%
1228.84/1233.17 c 1233 7404 4385 1 14.0000 7.7012 81.79%
1235.01/1239.33 c 1239 7460 4425 1 14.0000 7.7012 81.79%
1240.70/1245.01 c 1245 7516 4461 1 14.0000 7.7089 81.61%
1246.07/1250.44 c 1250 7569 4500 1 14.0000 7.7089 81.61%
1251.46/1255.83 c 1256 7617 4540 1 14.0000 7.7089 81.61%
1257.14/1261.57 c 1262 7672 4579 1 14.0000 7.7147 81.47%
1263.22/1267.68 c 1268 7734 4619 1 14.0000 7.7173 81.41%
1268.40/1272.80 c 1273 7782 4659 1 14.0000 7.7174 81.41%
1273.88/1278.38 c 1278 7838 4701 1 14.0000 7.7197 81.35%
1279.47/1283.90 c 1284 7884 4737 1 14.0000 7.7197 81.35%
1284.85/1289.39 c 1289 7935 4780 1 14.0000 7.7197 81.35%
1290.73/1295.25 c 1295 7977 4814 1 14.0000 7.7197 81.35%
1296.21/1300.75 c 1301 8031 4848 1 14.0000 7.7213 81.32%
1302.09/1306.61 c 1307 8097 4890 1 14.0000 7.7213 81.32%
1307.38/1311.91 c 1312 8141 4920 1 14.0000 7.7213 81.32%
1313.07/1317.64 c 1318 8205 4958 1 14.0000 7.7233 81.27%
1318.65/1323.25 c 1323 8244 4991 1 14.0000 7.7233 81.27%
1324.44/1329.05 c 1329 8307 5030 1 14.0000 7.7254 81.22%
1329.71/1334.39 c 1334 8346 5061 1 14.0000 7.7271 81.18%
1335.09/1339.73 c 1340 8409 5110 1 14.0000 7.7271 81.18%
1340.67/1345.38 c 1345 8458 5147 1 14.0000 7.7271 81.18%
1346.26/1350.99 c 1351 8509 5186 1 14.0000 7.7271 81.18%
1351.53/1356.25 c 1356 8562 5229 1 14.0000 7.7271 81.18%
1357.12/1361.85 c 1362 8614 5261 1 14.0000 7.7271 81.18%
1362.60/1367.36 c 1367 8664 5297 1 14.0000 7.7271 81.18%
1368.08/1372.88 c 1373 8711 5330 1 14.0000 7.7281 81.16%
1373.37/1378.18 c 1378 8760 5359 1 14.0000 7.7299 81.11%
1378.84/1383.67 c 1384 8814 5397 1 14.0000 7.7312 81.08%
1384.52/1389.30 c 1389 8865 5432 1 14.0000 7.7312 81.08%
1390.32/1395.14 c 1395 8920 5475 1 14.0000 7.7312 81.08%
1395.69/1400.51 c 1401 8967 5510 1 14.0000 7.7312 81.08%
1401.18/1406.02 c 1406 9011 5546 1 14.0000 7.7312 81.08%
1407.56/1412.40 c 1412 9076 5593 1 14.0000 7.7321 81.06%
1413.64/1418.52 c 1419 9140 5637 1 14.0000 7.7387 80.91%
1419.02/1423.99 c 1424 9190 5681 1 14.0000 7.7414 80.85%
1424.40/1429.39 c 1429 9240 5721 1 14.0000 7.7414 80.85%
1430.48/1435.45 c 1435 9306 5763 1 14.0000 7.7433 80.80%
1436.26/1441.25 c 1441 9345 5792 1 14.0000 7.7433 80.80%
1442.06/1447.02 c 1447 9398 5833 1 14.0000 7.7433 80.80%
1447.73/1452.75 c 1453 9451 5868 1 14.0000 7.7433 80.80%
1453.60/1458.64 c 1459 9504 5901 1 14.0000 7.7433 80.80%
1459.29/1464.33 c 1464 9559 5942 1 14.0000 7.7433 80.80%
1464.48/1469.55 c 1470 9612 5981 1 14.0000 7.7446 80.77%
1469.97/1475.08 c 1475 9666 6023 1 14.0000 7.7446 80.77%
1476.05/1481.11 c 1481 9723 6068 1 14.0000 7.7468 80.72%
1481.32/1486.47 c 1486 9765 6100 1 14.0000 7.7468 80.72%
1486.80/1491.99 c 1492 9834 6139 1 14.0000 7.7468 80.72%
1492.38/1497.58 c 1498 9900 6183 1 14.0000 7.7468 80.72%
1498.36/1503.53 c 1504 9956 6221 1 14.0000 7.7468 80.72%
1503.35/1508.58 c 1509 10014 6259 1 14.0000 7.7508 80.63%
1508.44/1513.60 c 1514 10046 6289 1 14.0000 7.7514 80.61%
1514.12/1519.33 c 1519 10096 6321 1 14.0000 7.7514 80.61%
1519.81/1525.09 c 1525 10155 6362 1 14.0000 7.7514 80.61%
1525.38/1530.67 c 1531 10216 6403 1 14.0000 7.7514 80.61%
1531.26/1536.50 c 1536 10270 6441 1 14.0000 7.7514 80.61%
1536.94/1542.26 c 1542 10340 6491 1 14.0000 7.7514 80.61%
1542.03/1547.33 c 1547 10386 6527 1 14.0000 7.7514 80.61%
1547.21/1552.51 c 1553 10446 6561 1 14.0000 7.7514 80.61%
1552.49/1557.81 c 1558 10498 6597 1 14.0000 7.7514 80.61%
1557.97/1563.39 c 1563 10553 6642 1 14.0000 7.7514 80.61%
1563.36/1568.76 c 1569 10610 6681 1 14.0000 7.7522 80.59%
1569.05/1574.40 c 1574 10668 6713 1 14.0000 7.7522 80.59%
1575.13/1580.53 c 1581 10731 6752 1 14.0000 7.7562 80.50%
1581.31/1586.76 c 1587 10784 6795 1 14.0000 7.7562 80.50%
1586.79/1592.28 c 1592 10839 6834 1 14.0000 7.7562 80.50%
1592.27/1597.71 c 1598 10895 6870 1 14.0000 7.7562 80.50%
1598.25/1603.72 c 1604 10954 6913 1 14.0000 7.7562 80.50%
1603.83/1609.32 c 1609 11017 6956 1 14.0000 7.7567 80.49%
1609.53/1615.02 c 1615 11080 6991 1 14.0000 7.7571 80.48%
1615.29/1620.80 c 1621 11140 7029 1 14.0000 7.7571 80.48%
1621.27/1626.84 c 1627 11199 7068 1 14.0000 7.7571 80.48%
1626.95/1632.52 c 1633 11269 7120 1 14.0000 7.7600 80.41%
1632.34/1637.95 c 1638 11324 7167 1 14.0000 7.7600 80.41%
1638.22/1643.84 c 1644 11380 7209 1 14.0000 7.7600 80.41%
1643.80/1649.44 c 1649 11458 7247 1 14.0000 7.7600 80.41%
1649.50/1655.16 c 1655 11519 7288 1 14.0000 7.7600 80.41%
1655.27/1660.94 c 1661 11582 7331 1 14.0000 7.7600 80.41%
1660.54/1666.22 c 1666 11650 7377 1 14.0000 7.7600 80.41%
1665.84/1671.59 c 1672 11706 7415 1 14.0000 7.7600 80.41%
1672.12/1677.88 c 1678 11772 7471 1 14.0000 7.7600 80.41%
1678.09/1683.82 c 1684 11844 7519 1 14.0000 7.7600 80.41%
1683.48/1689.20 c 1689 11908 7561 1 14.0000 7.7600 80.41%
1688.56/1694.35 c 1694 11959 7600 1 14.0000 7.7600 80.41%
1693.84/1699.66 c 1700 12034 7657 1 14.0000 7.7600 80.41%
1698.92/1704.76 c 1705 12093 7698 1 14.0000 7.7600 80.41%
1704.33/1710.17 c 1710 12157 7742 1 14.0000 7.7600 80.41%
1709.90/1715.71 c 1716 12224 7797 1 14.0000 7.7600 80.41%
1714.88/1720.72 c 1721 12283 7834 1 14.0000 7.7600 80.41%
1719.86/1725.73 c 1726 12328 7873 1 14.0000 7.7601 80.41%
1725.64/1731.51 c 1732 12382 7915 1 14.0000 7.7601 80.41%
1730.83/1736.75 c 1737 12465 7966 1 14.0000 7.7601 80.41%
1736.51/1742.46 c 1742 12543 8016 1 14.0000 7.7601 80.41%
1742.11/1748.01 c 1748 12613 8066 1 14.0000 7.7601 80.41%
1747.78/1753.76 c 1754 12687 8116 1 14.0000 7.7601 80.41%
1753.46/1759.42 c 1759 12763 8164 1 14.0000 7.7608 80.39%
1759.24/1765.25 c 1765 12826 8217 1 14.0000 7.7608 80.39%
1765.04/1771.03 c 1771 12895 8268 1 14.0000 7.7608 80.39%
1770.02/1776.10 c 1776 12961 8318 1 14.0000 7.7625 80.35%
1775.49/1781.57 c 1782 13017 8360 1 14.0000 7.7625 80.35%
1781.48/1787.57 c 1788 13099 8416 1 14.0000 7.7658 80.28%
1786.77/1792.84 c 1793 13167 8466 1 14.0000 7.7658 80.28%
1792.35/1798.41 c 1798 13239 8522 1 14.0000 7.7658 80.28%
1797.83/1804.01 c 1804 13310 8569 1 14.0000 7.7658 80.28%
1802.92/1809.09 c 1809 13360 8605 1 14.0000 7.7662 80.27%
1808.20/1814.31 c 1814 13431 8650 1 14.0000 7.7662 80.27%
1814.28/1820.41 c 1820 13504 8697 1 14.0000 7.7662 80.27%
1819.76/1825.91 c 1826 13569 8740 1 14.0000 7.7667 80.26%
1825.64/1831.88 c 1832 13649 8802 1 14.0000 7.7670 80.25%
1831.53/1837.76 c 1838 13722 8843 1 14.0000 7.7670 80.25%
1837.01/1843.27 c 1843 13784 8885 1 14.0000 7.7702 80.17%
1842.39/1848.65 c 1849 13865 8942 1 14.0000 7.7707 80.16%
1847.97/1854.24 c 1854 13933 8996 1 14.0000 7.7707 80.16%
1853.35/1859.67 c 1860 14000 9053 1 14.0000 7.7707 80.16%
1858.53/1864.81 c 1865 14059 9104 1 14.0000 7.7711 80.16%
1864.42/1870.79 c 1871 14122 9147 1 14.0000 7.7756 80.05%
1869.71/1876.11 c 1876 14192 9199 1 14.0000 7.7798 79.95%
1875.38/1881.71 c 1882 14253 9238 1 14.0000 7.7842 79.85%
1881.35/1887.78 c 1888 14324 9293 1 14.0000 7.7844 79.85%
1887.04/1893.45 c 1893 14394 9349 1 14.0000 7.7844 79.85%
1892.42/1898.88 c 1899 14464 9399 1 14.0000 7.7844 79.85%
1898.50/1904.97 c 1905 14550 9463 1 14.0000 7.7850 79.83%
1903.88/1910.32 c 1910 14615 9518 1 14.0000 7.7850 79.83%
1909.26/1915.76 c 1916 14683 9568 1 14.0000 7.7850 79.83%
1914.56/1921.11 c 1921 14759 9628 1 14.0000 7.7850 79.83%
1920.23/1926.73 c 1927 14814 9677 1 14.0000 7.7850 79.83%
1925.31/1931.83 c 1932 14870 9721 1 14.0000 7.7887 79.75%
1931.39/1937.90 c 1938 14939 9770 1 14.0000 7.7889 79.74%
1937.08/1943.69 c 1944 15009 9828 1 14.0000 7.7889 79.74%
1943.05/1949.64 c 1950 15080 9873 1 14.0000 7.7893 79.73%
1948.04/1954.67 c 1955 15150 9925 1 14.0000 7.7912 79.69%
1953.43/1960.05 c 1960 15218 9977 1 14.0000 7.7912 79.69%
1958.60/1965.30 c 1965 15280 10017 1 14.0000 7.7912 79.69%
1964.39/1971.09 c 1971 15364 10069 1 14.0000 7.7932 79.64%
1969.57/1976.23 c 1976 15425 10120 1 14.0000 7.7932 79.64%
1975.46/1982.12 c 1982 15505 10174 1 14.0000 7.7952 79.60%
1980.73/1987.49 c 1987 15565 10224 1 14.0000 7.7953 79.60%
1985.91/1992.64 c 1993 15639 10270 1 14.0000 7.7953 79.60%
1991.49/1998.25 c 1998 15705 10318 1 14.0000 7.7953 79.60%
1996.57/2003.37 c 2003 15763 10368 1 14.0000 7.7953 79.60%
2002.38/2009.16 c 2009 15839 10416 1 14.0000 7.7954 79.59%
2007.84/2014.66 c 2015 15909 10462 1 14.0000 7.7954 79.59%
2013.13/2020.01 c 2020 15967 10504 1 14.0000 7.7954 79.59%
2018.80/2025.61 c 2026 16041 10558 1 14.0000 7.7954 79.59%
2024.58/2031.48 c 2031 16115 10602 1 14.0000 7.7954 79.59%
2030.27/2037.12 c 2037 16203 10648 1 14.0000 7.7954 79.59%
2035.74/2042.69 c 2043 16279 10696 1 14.0000 7.7954 79.59%
2041.14/2048.02 c 2048 16352 10745 1 14.0000 7.7954 79.59%
2046.81/2053.71 c 2054 16426 10799 1 14.0000 7.7954 79.59%
2052.11/2059.01 c 2059 16496 10847 1 14.0000 7.7954 79.59%
2057.37/2064.38 c 2064 16572 10903 1 14.0000 7.7954 79.59%
2062.75/2069.76 c 2070 16645 10952 1 14.0000 7.7954 79.59%
2068.05/2075.05 c 2075 16720 10999 1 14.0000 7.8020 79.44%
2073.41/2080.41 c 2080 16803 11048 1 14.0000 7.8020 79.44%
2078.89/2085.94 c 2086 16878 11113 1 14.0000 7.8020 79.44%
2084.27/2091.32 c 2091 16956 11159 1 14.0000 7.8024 79.43%
2089.25/2096.38 c 2096 17014 11195 1 14.0000 7.8034 79.41%
2095.22/2102.39 c 2102 17096 11257 1 14.0000 7.8060 79.35%
2100.91/2108.06 c 2108 17175 11312 1 14.0000 7.8060 79.35%
2106.89/2114.05 c 2114 17247 11376 1 14.0000 7.8060 79.35%
2112.06/2119.22 c 2119 17308 11419 1 14.0000 7.8073 79.32%
2117.64/2124.88 c 2125 17372 11465 1 14.0000 7.8098 79.26%
2123.51/2130.79 c 2131 17461 11522 1 14.0000 7.8127 79.20%
2128.99/2136.23 c 2136 17536 11575 1 14.0000 7.8127 79.20%
2134.37/2141.62 c 2142 17608 11629 1 14.0000 7.8127 79.20%
2139.46/2146.75 c 2147 17669 11670 1 14.0000 7.8130 79.19%
2144.64/2151.97 c 2152 17739 11718 1 14.0000 7.8130 79.19%
2149.92/2157.27 c 2157 17814 11761 1 14.0000 7.8130 79.19%
2155.30/2162.60 c 2163 17886 11815 1 14.0000 7.8130 79.19%
2160.58/2168.01 c 2168 17969 11860 1 14.0000 7.8130 79.19%
2166.46/2173.89 c 2174 18037 11914 1 14.0000 7.8132 79.18%
2171.75/2179.19 c 2179 18122 11969 1 14.0000 7.8132 79.18%
2177.64/2185.04 c 2185 18199 12022 1 14.0000 7.8143 79.16%
2182.72/2190.19 c 2190 18276 12079 1 14.0000 7.8143 79.16%
2188.19/2195.65 c 2196 18350 12119 1 14.0000 7.8171 79.09%
2193.68/2201.19 c 2201 18431 12166 1 14.0000 7.8171 79.09%
2199.56/2207.04 c 2207 18511 12220 1 14.0000 7.8184 79.07%
2205.23/2212.80 c 2213 18580 12277 1 14.0000 7.8214 79.00%
2210.63/2218.19 c 2218 18660 12327 1 14.0000 7.8214 79.00%
2215.90/2223.40 c 2223 18739 12380 1 14.0000 7.8214 79.00%
2221.38/2228.96 c 2229 18808 12433 1 14.0000 7.8214 79.00%
2226.66/2234.27 c 2234 18879 12478 1 14.0000 7.8214 79.00%
2232.15/2239.75 c 2240 18950 12531 1 14.0000 7.8214 79.00%
2237.73/2245.36 c 2245 19028 12589 1 14.0000 7.8214 79.00%
2243.01/2250.68 c 2251 19106 12633 1 14.0000 7.8214 79.00%
2248.30/2255.94 c 2256 19178 12685 1 14.0000 7.8214 79.00%
2253.49/2261.11 c 2261 19243 12734 1 14.0000 7.8218 78.99%
2258.66/2266.31 c 2266 19316 12785 1 14.0000 7.8218 78.99%
2263.84/2271.56 c 2272 19394 12841 1 14.0000 7.8218 78.99%
2269.03/2276.72 c 2277 19468 12885 1 14.0000 7.8218 78.99%
2274.51/2282.21 c 2282 19543 12936 1 14.0000 7.8218 78.99%
2279.99/2287.74 c 2288 19605 12980 1 14.0000 7.8228 78.96%
2285.17/2292.95 c 2293 19694 13033 1 14.0000 7.8228 78.96%
2290.45/2298.26 c 2298 19760 13085 1 14.0000 7.8228 78.96%
2296.53/2304.36 c 2304 19837 13140 1 14.0000 7.8247 78.92%
2301.90/2309.70 c 2310 19914 13187 1 14.0000 7.8247 78.92%
2307.31/2315.15 c 2315 19994 13237 1 14.0000 7.8247 78.92%
2312.48/2320.37 c 2320 20092 13305 1 14.0000 7.8247 78.92%
2317.66/2325.55 c 2326 20169 13350 1 14.0000 7.8258 78.90%
2323.25/2331.11 c 2331 20246 13393 1 14.0000 7.8258 78.90%
2328.42/2336.38 c 2336 20329 13450 1 14.0000 7.8258 78.90%
2334.40/2342.35 c 2342 20415 13500 1 14.0000 7.8258 78.89%
2339.99/2347.96 c 2348 20495 13558 1 14.0000 7.8258 78.89%
2345.67/2353.60 c 2354 20578 13613 1 14.0000 7.8258 78.89%
2350.75/2358.78 c 2359 20660 13667 1 14.0000 7.8258 78.89%
2355.83/2363.80 c 2364 20740 13705 1 14.0000 7.8284 78.84%
2361.41/2369.48 c 2369 20817 13758 1 14.0000 7.8284 78.84%
2367.00/2375.10 c 2375 20875 13798 1 14.0000 7.8294 78.81%
2372.18/2380.27 c 2380 20940 13843 1 14.0000 7.8294 78.81%
2377.66/2385.75 c 2386 21014 13887 1 14.0000 7.8294 78.81%
2383.14/2391.22 c 2391 21087 13942 1 14.0000 7.8294 78.81%
2388.42/2396.59 c 2397 21170 14005 1 14.0000 7.8297 78.81%
2393.92/2402.08 c 2402 21250 14057 1 14.0000 7.8305 78.79%
2399.49/2407.65 c 2408 21329 14118 1 14.0000 7.8311 78.78%
2405.37/2413.58 c 2414 21417 14174 1 14.0000 7.8313 78.77%
2411.35/2419.51 c 2420 21497 14228 1 14.0000 7.8330 78.73%
2417.13/2425.35 c 2425 21578 14287 1 14.0000 7.8330 78.73%
2422.42/2430.68 c 2431 21654 14343 1 14.0000 7.8330 78.73%
2427.81/2436.05 c 2436 21733 14382 1 14.0000 7.8330 78.73%
2433.18/2441.46 c 2441 21803 14434 1 14.0000 7.8330 78.73%
2438.66/2446.90 c 2447 21888 14485 1 14.0000 7.8330 78.73%
2443.76/2452.03 c 2452 21958 14533 1 14.0000 7.8330 78.73%
2449.23/2457.52 c 2458 22032 14591 1 14.0000 7.8330 78.73%
2454.51/2462.80 c 2463 22116 14649 1 14.0000 7.8330 78.73%
2459.89/2468.29 c 2468 22190 14705 1 14.0000 7.8330 78.73%
2465.47/2473.83 c 2474 22279 14754 1 14.0000 7.8330 78.73%
2471.05/2479.48 c 2479 22361 14806 1 14.0000 7.8330 78.73%
2476.74/2485.16 c 2485 22446 14859 1 14.0000 7.8330 78.73%
2482.72/2491.16 c 2491 22534 14907 1 14.0000 7.8348 78.69%
2487.99/2496.43 c 2496 22608 14951 1 14.0000 7.8348 78.69%
2493.58/2502.06 c 2502 22680 15005 1 14.0000 7.8348 78.69%
2498.76/2507.24 c 2507 22762 15057 1 14.0000 7.8348 78.69%
2504.24/2512.74 c 2513 22830 15109 1 14.0000 7.8348 78.69%
2509.72/2518.25 c 2518 22907 15152 1 14.0000 7.8348 78.69%
2515.51/2524.08 c 2524 22988 15207 1 14.0000 7.8350 78.68%
2521.29/2529.85 c 2530 23081 15260 1 14.0000 7.8350 78.68%
2526.58/2535.15 c 2535 23167 15318 1 14.0000 7.8350 78.68%
2531.95/2540.51 c 2541 23250 15369 1 14.0000 7.8350 78.68%
2536.93/2545.55 c 2546 23314 15407 1 14.0000 7.8358 78.67%
2543.01/2551.64 c 2552 23399 15460 1 14.0000 7.8358 78.67%
2548.51/2557.19 c 2557 23478 15517 1 14.0000 7.8358 78.67%
2553.97/2562.68 c 2563 23567 15568 1 14.0000 7.8358 78.67%
2559.25/2567.95 c 2568 23651 15616 1 14.0000 7.8358 78.67%
2564.45/2573.14 c 2573 23731 15672 1 14.0000 7.8358 78.67%
2570.12/2578.82 c 2579 23814 15719 1 14.0000 7.8367 78.65%
2575.31/2584.08 c 2584 23916 15773 1 14.0000 7.8367 78.65%
2580.68/2589.42 c 2589 23999 15826 1 14.0000 7.8367 78.65%
2585.67/2594.49 c 2594 24070 15871 1 14.0000 7.8380 78.62%
2590.95/2599.74 c 2600 24151 15918 1 14.0000 7.8380 78.62%
2596.43/2605.21 c 2605 24229 15974 1 14.0000 7.8388 78.60%
2601.71/2610.59 c 2611 24311 16030 1 14.0000 7.8388 78.60%
2607.31/2616.15 c 2616 24386 16083 1 14.0000 7.8388 78.60%
2612.98/2621.84 c 2622 24484 16143 1 14.0000 7.8388 78.60%
2617.96/2626.87 c 2627 24557 16186 1 14.0000 7.8399 78.57%
2624.04/2632.98 c 2633 24644 16249 1 14.0000 7.8412 78.54%
2629.42/2638.34 c 2638 24722 16301 1 14.0000 7.8412 78.54%
2635.00/2643.90 c 2644 24811 16350 1 14.0000 7.8412 78.54%
2640.19/2649.18 c 2649 24904 16403 1 14.0000 7.8412 78.54%
2645.47/2654.48 c 2654 24984 16459 1 14.0000 7.8413 78.54%
2651.16/2660.14 c 2660 25080 16507 1 14.0000 7.8422 78.52%
2656.24/2665.27 c 2665 25173 16566 1 14.0000 7.8422 78.52%
2661.71/2670.78 c 2671 25258 16619 1 14.0000 7.8430 78.50%
2667.11/2676.13 c 2676 25350 16679 1 14.0000 7.8430 78.50%
2672.47/2681.59 c 2682 25433 16728 1 14.0000 7.8430 78.50%
2677.86/2686.96 c 2687 25510 16773 1 14.0000 7.8454 78.45%
2683.44/2692.52 c 2693 25597 16834 1 14.0000 7.8455 78.45%
2688.82/2697.93 c 2698 25686 16889 1 14.0000 7.8463 78.43%
2694.01/2703.15 c 2703 25768 16947 1 14.0000 7.8463 78.43%
2699.18/2708.39 c 2708 25856 16997 1 14.0000 7.8463 78.43%
2704.66/2713.88 c 2714 25944 17059 1 14.0000 7.8463 78.43%
2710.14/2719.39 c 2719 26045 17116 1 14.0000 7.8463 78.43%
2715.63/2724.85 c 2725 26124 17173 1 14.0000 7.8463 78.43%
2721.50/2730.71 c 2731 26233 17232 1 14.0000 7.8478 78.39%
2726.60/2735.83 c 2736 26315 17290 1 14.0000 7.8478 78.39%
2731.79/2741.03 c 2741 26398 17343 1 14.0000 7.8478 78.39%
2736.87/2746.16 c 2746 26477 17390 1 14.0000 7.8478 78.39%
2742.44/2751.77 c 2752 26563 17442 1 14.0000 7.8478 78.39%
2748.02/2757.39 c 2757 26658 17497 1 14.0000 7.8480 78.39%
2753.20/2762.50 c 2762 26748 17549 1 14.0000 7.8480 78.39%
2758.58/2767.93 c 2768 26843 17598 1 14.0000 7.8480 78.39%
2763.86/2773.26 c 2773 26920 17647 1 14.0000 7.8480 78.39%
2769.45/2778.84 c 2779 27020 17697 1 14.0000 7.8507 78.33%
2775.52/2784.91 c 2785 27098 17755 1 14.0000 7.8507 78.33%
2780.91/2790.30 c 2790 27203 17810 1 14.0000 7.8519 78.30%
2786.49/2795.93 c 2796 27274 17863 1 14.0000 7.8519 78.30%
2792.27/2801.77 c 2802 27382 17927 1 14.0000 7.8535 78.26%
2798.05/2807.54 c 2808 27466 17977 1 14.0000 7.8535 78.26%
2803.23/2812.72 c 2813 27536 18025 1 14.0000 7.8535 78.26%
2808.71/2818.23 c 2818 27634 18087 1 14.0000 7.8535 78.26%
2814.19/2823.76 c 2824 27714 18149 1 14.0000 7.8535 78.26%
2820.27/2829.83 c 2830 27810 18203 1 14.0000 7.8550 78.23%
2825.95/2835.58 c 2836 27910 18257 1 14.0000 7.8569 78.19%
2831.32/2841.01 c 2841 28006 18315 1 14.0000 7.8569 78.19%
2836.60/2846.24 c 2846 28097 18370 1 14.0000 7.8569 78.19%
2841.98/2851.65 c 2852 28175 18422 1 14.0000 7.8569 78.19%
2847.75/2857.48 c 2857 28264 18475 1 14.0000 7.8593 78.13%
2853.64/2863.30 c 2863 28350 18533 1 14.0000 7.8599 78.12%
2859.71/2869.42 c 2869 28472 18603 1 14.0000 7.8600 78.12%
2864.69/2874.50 c 2874 28565 18658 1 14.0000 7.8602 78.11%
2869.87/2879.64 c 2880 28660 18707 1 14.0000 7.8605 78.11%
2875.75/2885.52 c 2886 28729 18744 1 14.0000 7.8624 78.06%
2881.13/2890.92 c 2891 28852 18811 1 14.0000 7.8624 78.06%
2886.81/2896.66 c 2897 28940 18873 1 14.0000 7.8624 78.06%
2892.30/2902.17 c 2902 29030 18937 1 14.0000 7.8644 78.02%
2897.46/2907.36 c 2907 29100 18981 1 14.0000 7.8644 78.02%
2902.94/2912.84 c 2913 29180 19037 1 14.0000 7.8647 78.01%
2908.71/2918.68 c 2919 29272 19099 1 14.0000 7.8648 78.01%
2914.21/2924.16 c 2924 29372 19165 1 14.0000 7.8648 78.01%
2920.19/2930.12 c 2930 29487 19236 1 14.0000 7.8649 78.01%
2925.35/2935.39 c 2935 29571 19280 1 14.0000 7.8649 78.01%
2930.93/2940.94 c 2941 29654 19329 1 14.0000 7.8653 78.00%
2936.21/2946.30 c 2946 29755 19390 1 14.0000 7.8653 78.00%
2941.69/2951.74 c 2952 29835 19436 1 14.0000 7.8689 77.92%
2947.57/2957.66 c 2958 29920 19491 1 14.0000 7.8689 77.92%
2953.15/2963.26 c 2963 29999 19546 1 14.0000 7.8693 77.91%
2958.33/2968.47 c 2968 30078 19593 1 14.0000 7.8693 77.91%
2963.61/2973.72 c 2974 30151 19630 1 14.0000 7.8698 77.90%
2969.18/2979.34 c 2979 30245 19688 1 14.0000 7.8698 77.90%
2975.16/2985.30 c 2985 30342 19747 1 14.0000 7.8700 77.89%
2980.43/2990.65 c 2991 30446 19809 1 14.0000 7.8700 77.89%
2986.02/2996.30 c 2996 30525 19862 1 14.0000 7.8707 77.87%
2991.70/3001.93 c 3002 30621 19914 1 14.0000 7.8726 77.83%
2997.67/3007.95 c 3008 30723 19972 1 14.0000 7.8730 77.82%
3003.05/3013.39 c 3013 30822 20041 1 14.0000 7.8730 77.82%
3008.93/3019.28 c 3019 30928 20101 1 14.0000 7.8735 77.81%
3014.72/3025.06 c 3025 31022 20153 1 14.0000 7.8742 77.80%
3020.18/3030.56 c 3031 31107 20210 1 14.0000 7.8742 77.80%
3026.26/3036.65 c 3037 31219 20280 1 14.0000 7.8749 77.78%
3031.54/3041.99 c 3042 31290 20323 1 14.0000 7.8755 77.77%
3036.73/3047.17 c 3047 31375 20388 1 14.0000 7.8755 77.77%
3042.31/3052.75 c 3053 31470 20447 1 14.0000 7.8755 77.77%
3047.70/3058.15 c 3058 31561 20500 1 14.0000 7.8755 77.77%
3053.57/3064.11 c 3064 31658 20555 1 14.0000 7.8764 77.75%
3058.74/3069.26 c 3069 31756 20605 1 14.0000 7.8764 77.75%
3063.72/3074.29 c 3074 31857 20660 1 14.0000 7.8799 77.67%
3069.40/3079.93 c 3080 31943 20712 1 14.0000 7.8799 77.67%
3074.50/3085.10 c 3085 32032 20763 1 14.0000 7.8799 77.67%
3081.06/3091.62 c 3092 32130 20813 1 14.0000 7.8810 77.64%
3086.15/3096.79 c 3097 32222 20865 1 14.0000 7.8810 77.64%
3091.63/3102.28 c 3102 32306 20921 1 14.0000 7.8810 77.64%
3096.91/3107.54 c 3108 32404 20975 1 14.0000 7.8810 77.64%
3102.20/3112.89 c 3113 32491 21034 1 14.0000 7.8810 77.64%
3107.28/3117.97 c 3118 32570 21091 1 14.0000 7.8817 77.63%
3112.96/3123.70 c 3124 32668 21149 1 14.0000 7.8818 77.63%
3119.04/3129.78 c 3130 32747 21204 1 14.0000 7.8823 77.61%
3124.22/3134.95 c 3135 32845 21264 1 14.0000 7.8823 77.61%
3129.50/3140.27 c 3140 32927 21314 1 14.0000 7.8823 77.61%
3134.98/3145.70 c 3146 33034 21379 1 14.0000 7.8823 77.61%
3140.96/3151.73 c 3152 33136 21441 1 14.0000 7.8827 77.60%
3146.04/3156.89 c 3157 33228 21497 1 14.0000 7.8831 77.60%
3151.23/3162.10 c 3162 33345 21560 1 14.0000 7.8831 77.60%
3156.70/3167.51 c 3168 33435 21606 1 14.0000 7.8831 77.60%
3161.98/3172.82 c 3173 33520 21659 1 14.0000 7.8832 77.59%
3167.27/3178.16 c 3178 33609 21714 1 14.0000 7.8832 77.59%
3172.63/3183.58 c 3184 33695 21772 1 14.0000 7.8854 77.54%
3178.23/3189.11 c 3189 33820 21843 1 14.0000 7.8854 77.54%
3183.49/3194.47 c 3194 33929 21904 1 14.0000 7.8854 77.54%
3189.18/3200.19 c 3200 34032 21969 1 14.0000 7.8854 77.54%
3194.45/3205.49 c 3205 34130 22029 1 14.0000 7.8859 77.53%
3199.93/3210.97 c 3211 34233 22082 1 14.0000 7.8859 77.53%
3205.02/3216.02 c 3216 34303 22130 1 14.0000 7.8898 77.44%
3210.89/3221.90 c 3222 34399 22182 1 14.0000 7.8902 77.44%
3216.27/3227.34 c 3227 34511 22250 1 14.0000 7.8902 77.44%
3221.66/3232.74 c 3233 34634 22325 1 14.0000 7.8902 77.44%
3227.14/3238.24 c 3238 34756 22393 1 14.0000 7.8902 77.44%
3232.32/3243.45 c 3243 34872 22445 1 14.0000 7.8902 77.44%
3237.70/3248.80 c 3249 34959 22500 1 14.0000 7.8902 77.44%
3243.00/3254.17 c 3254 35070 22559 1 14.0000 7.8902 77.44%
3248.27/3259.42 c 3259 35167 22612 1 14.0000 7.8902 77.44%
3253.25/3264.43 c 3264 35260 22665 1 14.0000 7.8949 77.33%
3258.54/3269.70 c 3270 35372 22727 1 14.0000 7.8949 77.33%
3263.52/3274.72 c 3275 35434 22767 1 14.0000 7.8958 77.31%
3268.81/3280.10 c 3280 35530 22815 1 14.0000 7.8984 77.25%
3274.18/3285.42 c 3285 35651 22878 1 14.0000 7.9000 77.22%
3279.66/3290.95 c 3291 35755 22936 1 14.0000 7.9000 77.22%
3285.04/3296.33 c 3296 35858 22993 1 14.0000 7.9000 77.22%
3290.73/3302.07 c 3302 35965 23048 1 14.0000 7.9000 77.22%
3296.10/3307.46 c 3307 36082 23113 1 14.0000 7.9008 77.20%
3301.49/3312.85 c 3313 36192 23177 1 14.0000 7.9008 77.20%
3306.68/3318.05 c 3318 36285 23226 1 14.0000 7.9019 77.17%
3312.15/3323.50 c 3324 36373 23274 1 14.0000 7.9054 77.10%
3318.13/3329.51 c 3330 36463 23330 1 14.0000 7.9067 77.06%
3323.52/3334.93 c 3335 36573 23384 1 14.0000 7.9067 77.06%
3328.80/3340.27 c 3340 36660 23445 1 14.0000 7.9067 77.06%
3334.69/3346.14 c 3346 36756 23505 1 14.0000 7.9080 77.04%
3339.86/3351.32 c 3351 36863 23572 1 14.0000 7.9080 77.04%
3345.05/3356.55 c 3357 36951 23632 1 14.0000 7.9081 77.03%
3350.33/3361.88 c 3362 37051 23682 1 14.0000 7.9081 77.03%
3356.31/3367.89 c 3368 37190 23757 1 14.0000 7.9085 77.02%
3361.70/3373.22 c 3373 37276 23811 1 14.0000 7.9085 77.02%
3366.88/3378.48 c 3378 37358 23857 1 14.0000 7.9085 77.02%
3372.36/3384.01 c 3384 37461 23914 1 14.0000 7.9085 77.02%
3377.93/3389.51 c 3390 37573 23974 1 14.0000 7.9085 77.02%
3383.61/3395.26 c 3395 37713 24042 1 14.0000 7.9085 77.02%
3389.09/3400.75 c 3401 37818 24099 1 14.0000 7.9085 77.02%
3394.78/3406.43 c 3406 37925 24154 1 14.0000 7.9085 77.02%
3399.97/3411.65 c 3412 38060 24221 1 14.0000 7.9085 77.02%
3405.55/3417.26 c 3417 38160 24281 1 14.0000 7.9095 77.00%
3410.93/3422.65 c 3423 38270 24331 1 14.0000 7.9099 76.99%
3416.21/3427.95 c 3428 38358 24383 1 14.0000 7.9099 76.99%
3421.60/3433.32 c 3433 38470 24447 1 14.0000 7.9099 76.99%
3427.29/3439.03 c 3439 38571 24508 1 14.0000 7.9099 76.99%
3432.56/3444.33 c 3444 38676 24565 1 14.0000 7.9099 76.99%
3437.74/3449.57 c 3450 38770 24615 1 14.0000 7.9110 76.97%
3443.02/3454.88 c 3455 38871 24676 1 14.0000 7.9110 76.97%
3448.51/3460.34 c 3460 39011 24736 1 14.0000 7.9110 76.97%
3454.19/3466.01 c 3466 39122 24797 1 14.0000 7.9110 76.97%
3459.47/3471.31 c 3471 39217 24856 1 14.0000 7.9110 76.97%
3465.45/3477.32 c 3477 39341 24922 1 14.0000 7.9115 76.96%
3470.63/3482.56 c 3483 39437 24978 1 14.0000 7.9115 76.96%
3475.71/3487.67 c 3488 39534 25037 1 14.0000 7.9131 76.92%
3481.11/3493.01 c 3493 39643 25102 1 14.0000 7.9131 76.92%
3486.48/3498.48 c 3498 39749 25160 1 14.0000 7.9131 76.92%
3491.96/3503.92 c 3504 39855 25218 1 14.0000 7.9131 76.92%
3497.15/3509.17 c 3509 39943 25268 1 14.0000 7.9131 76.92%
3502.43/3514.46 c 3514 40042 25323 1 14.0000 7.9131 76.92%
3507.61/3519.66 c 3520 40160 25389 1 14.0000 7.9131 76.92%
3513.39/3525.46 c 3525 40281 25448 1 14.0000 7.9155 76.87%
3518.57/3530.65 c 3531 40380 25505 1 14.0000 7.9158 76.86%
3523.76/3535.83 c 3536 40472 25559 1 14.0000 7.9168 76.84%
3529.14/3541.25 c 3541 40579 25616 1 14.0000 7.9169 76.84%
3534.32/3546.47 c 3546 40679 25666 1 14.0000 7.9169 76.84%
3540.11/3552.29 c 3552 40795 25732 1 14.0000 7.9185 76.80%
3545.69/3557.84 c 3558 40903 25794 1 14.0000 7.9185 76.80%
3550.77/3562.96 c 3563 41000 25851 1 14.0000 7.9191 76.79%
3556.35/3568.56 c 3569 41100 25921 1 14.0000 7.9191 76.79%
3561.73/3573.94 c 3574 41212 25985 1 14.0000 7.9191 76.79%
3567.02/3579.27 c 3579 41324 26045 1 14.0000 7.9191 76.79%
3572.20/3584.48 c 3584 41408 26101 1 14.0000 7.9191 76.79%
3577.90/3590.17 c 3590 41517 26164 1 14.0000 7.9193 76.78%
3583.56/3595.85 c 3596 41603 26216 1 14.0000 7.9215 76.74%
3587.95/3600.29 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.95/3600.29 c Total Time : 3600.28
3587.95/3600.29 c solving : 3600.28
3587.95/3600.29 c presolving : 0.37 (included in solving)
3587.95/3600.29 c B&B Tree :
3587.95/3600.29 c nodes (total) : 1
3587.95/3600.29 c Solution :
3587.95/3600.29 c Solutions found : 3
3587.95/3600.29 c Primal Bound : +1.40000000000000e+01
3587.95/3600.29 c Dual Bound : +7.92146936420013e+00
3587.95/3600.29 c Gap : 76.73489 %
3587.95/3600.29 c * Warning: final gap: 7.67349e-01 is greater than SCIPepsilon: 1.00000e-09
3588.15/3600.41 o 14
3588.15/3600.41 s SATISFIABLE
3588.15/3600.41 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3588.15/3600.41 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
3588.15/3600.41 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
3588.15/3600.41 v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
3588.15/3600.41 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
3588.15/3600.41 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
3588.15/3600.41 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
3588.15/3600.41 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
3588.15/3600.41 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
3588.15/3600.41 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
3588.15/3600.41 v -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3588.15/3600.41 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
3588.15/3600.41 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
3588.15/3600.41 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
3588.15/3600.41 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
3588.15/3600.41 v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166
3588.15/3600.41 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145
3588.15/3600.41 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
3588.15/3600.41 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103
3588.15/3600.41 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
3588.15/3600.41 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53
3588.15/3600.41 v -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28
3588.15/3600.41 v -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
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 (60161 MiB free)
memory of node 1: 64473 MiB (61257 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459851-1721939472/watcher-4459851-1721939472 -o /tmp/evaluation-result-4459851-1721939472/solver-4459851-1721939472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235367 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459851-1721939472.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
Current StackSize limit: 8192 KiB
solver pid=235534, runsolver pid=235531
[startup+0.101047 s]*
/proc/loadavg: 0.76 0.24 0.31 5/247 235535
/proc/meminfo: memFree=124304100/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=53572 memory=40900 CPUtime=0.1 cores=0,2
/proc/235534/stat : 235534 (fscip) R 235531 235534 235357 0 -1 4194304 8131 0 0 0 8 2 0 0 20 0 1 0 29936626 54857728 10225 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 13393 10225 2334 3032 0 9793 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53572 KiB
Current children cumulated memory: 40900 KiB
[startup+0.213307 s]*
/proc/loadavg: 0.76 0.24 0.31 5/247 235535
/proc/meminfo: memFree=124275708/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=80064 memory=67984 CPUtime=0.21 cores=0,2
/proc/235534/stat : 235534 (fscip) R 235531 235534 235357 0 -1 4194304 15141 0 0 0 16 5 0 0 20 0 1 0 29936626 81985536 16996 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 20016 16996 2574 3032 0 16416 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 80064 KiB
Current children cumulated memory: 67984 KiB
[startup+0.313007 s]*
/proc/loadavg: 0.76 0.24 0.31 5/247 235535
/proc/meminfo: memFree=124232168/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=124216 memory=113920 CPUtime=0.31 cores=0,2
/proc/235534/stat : 235534 (fscip) R 235531 235534 235357 0 -1 4194304 26653 0 0 0 23 8 0 0 20 0 1 0 29936626 127197184 28480 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 31054 28480 2574 3032 0 27454 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 113920 KiB
[startup+0.700333 s]
/proc/loadavg: 0.76 0.24 0.31 6/247 235535
/proc/meminfo: memFree=124187600/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=178012 memory=163060 CPUtime=0.68 cores=0,2
/proc/235534/stat : 235534 (fscip) R 235531 235534 235357 0 -1 4194304 38951 0 0 0 57 11 0 0 20 0 1 0 29936626 182284288 40765 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 44503 40765 2622 3032 0 40903 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 178012 KiB
Current children cumulated memory: 163060 KiB
[startup+1.50036 s]
/proc/loadavg: 0.76 0.24 0.31 5/249 235537
/proc/meminfo: memFree=124151508/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=262596 memory=193904 CPUtime=1.48 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 46986 0 0 0 134 14 0 0 20 0 3 0 29936626 268898304 48476 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 65649 48476 2878 3032 0 53068 0
[pid=235534/tid=235536] ppid=235531 vsize=262596 memory=0 CPUtime=0.69 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 7206 0 0 0 67 2 0 0 20 0 3 0 29936705 268898304 48476 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=262596 memory=11616 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29936707 268898304 48476 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 262596 KiB
Current children cumulated memory: 193904 KiB
[startup+3.11319 s]
/proc/loadavg: 0.76 0.24 0.31 5/249 235537
/proc/meminfo: memFree=124101016/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=329796 memory=234828 CPUtime=3.08 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 61472 0 0 0 292 16 0 0 20 0 3 0 29936626 337711104 58707 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 82449 58707 2910 3032 0 63405 0
[pid=235534/tid=235536] ppid=235531 vsize=329796 memory=-6513726146857843563 CPUtime=2.29 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 21684 0 0 0 225 4 0 0 20 0 3 0 29936705 337711104 58707 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=329796 memory=-6513726146857843563 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 29936707 337711104 58707 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 329796 KiB
Current children cumulated memory: 234828 KiB
[startup+6.30038 s]
/proc/loadavg: 1.02 0.30 0.33 5/249 235537
/proc/meminfo: memFree=123997500/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=395332 memory=320272 CPUtime=6.25 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 95806 0 0 0 605 20 0 0 20 0 3 0 29936626 404819968 80068 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 98833 80068 2910 3032 0 85111 0
[pid=235534/tid=235536] ppid=235531 vsize=395332 memory=11616 CPUtime=5.47 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 56016 0 0 0 539 8 0 0 20 0 3 0 29936705 404819968 80068 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=395332 memory=318096 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 29936707 404819968 80068 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 395332 KiB
Current children cumulated memory: 320272 KiB
[startup+12.7003 s]
/proc/loadavg: 1.26 0.36 0.35 5/249 235540
/proc/meminfo: memFree=123957452/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=395332 memory=334212 CPUtime=12.64 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 104550 0 0 0 1243 21 0 0 20 0 3 0 29936626 404819968 83553 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 98833 83553 2926 3032 0 88941 0
[pid=235534/tid=235536] ppid=235531 vsize=395332 memory=61156 CPUtime=11.85 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 64750 0 0 0 1176 9 0 0 20 0 3 0 29936705 404819968 83553 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=395332 memory=210552 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 29936707 404819968 83553 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 395332 KiB
Current children cumulated memory: 334212 KiB
[startup+25.5004 s]
/proc/loadavg: 1.87 0.54 0.41 5/249 235541
/proc/meminfo: memFree=123924380/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=395332 memory=334220 CPUtime=25.4 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 111678 0 0 0 2518 22 0 0 20 0 3 0 29936626 404819968 83555 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 98833 83555 2926 3032 0 88941 0
[pid=235534/tid=235536] ppid=235531 vsize=395332 memory=324416 CPUtime=24.61 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 71872 0 0 0 2451 10 0 0 20 0 3 0 29936705 404819968 83555 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=395332 memory=1795995 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 29936707 404819968 83555 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 395332 KiB
Current children cumulated memory: 334220 KiB
[startup+51.113 s]
/proc/loadavg: 2.66 0.83 0.52 5/249 235546
/proc/meminfo: memFree=123861744/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=395332 memory=334700 CPUtime=50.94 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 124179 0 0 0 5071 23 0 0 20 0 3 0 29936626 404819968 83675 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 98833 83675 2974 3032 0 88941 0
[pid=235534/tid=235536] ppid=235531 vsize=395332 memory=334688 CPUtime=50.15 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 84290 0 0 0 5004 11 0 0 20 0 3 0 29936705 404819968 83675 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=395332 memory=334212 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 29936707 404819968 83675 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 395332 KiB
Current children cumulated memory: 334700 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 1.37 0.72 5/249 235554
/proc/meminfo: memFree=123668120/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=460868 memory=417460 CPUtime=101.96 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 200427 0 0 0 10166 30 0 0 20 0 3 0 29936626 471928832 104365 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 115217 104365 2974 3032 0 109473 0
[pid=235534/tid=235536] ppid=235531 vsize=460868 memory=417460 CPUtime=101.16 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 160428 0 0 0 10099 17 0 0 20 0 3 0 29936705 471928832 104365 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=460868 memory=417460 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 29936707 471928832 104365 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 460868 KiB
Current children cumulated memory: 417460 KiB
[startup+162.3 s]
/proc/loadavg: 4.47 2.03 0.99 5/248 235565
/proc/meminfo: memFree=123557096/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=460868 memory=418840 CPUtime=161.76 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 247888 0 0 0 16142 34 0 0 20 0 3 0 29936626 471928832 104710 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 115217 104710 2974 3032 0 109728 0
[pid=235534/tid=235536] ppid=235531 vsize=460868 memory=11616 CPUtime=160.96 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 207787 0 0 0 16075 21 0 0 20 0 3 0 29936705 471928832 104710 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=460868 memory=418744 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 29936707 471928832 104710 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 460868 KiB
Current children cumulated memory: 418840 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 2.42 1.19 5/248 235575
/proc/meminfo: memFree=123461752/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=460868 memory=418840 CPUtime=221.52 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 280362 0 0 0 22116 36 0 0 20 0 3 0 29936626 471928832 104710 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 115217 104710 2974 3032 0 109728 0
[pid=235534/tid=235536] ppid=235531 vsize=460868 memory=11616 CPUtime=220.73 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 240219 0 0 0 22049 24 0 0 20 0 3 0 29936705 471928832 104710 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=460868 memory=5724 CPUtime=0 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 29936707 471928832 104710 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 460868 KiB
Current children cumulated memory: 418840 KiB
################
# More data... #
################
[pid=235534] ppid=235531 vsize=660868 memory=586872 CPUtime=3390.7 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1088486 0 0 0 338939 131 0 0 20 0 3 0 29936626 676728832 146718 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146718 2974 3032 0 149199 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=61156 CPUtime=3389.59 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1046012 0 0 0 338853 106 0 0 20 0 3 0 29936705 676728832 146718 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=586872 CPUtime=0.04 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 212 0 0 0 1 3 0 0 20 0 3 0 29936707 676728832 146718 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3390.7 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 586872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/250 237475
/proc/meminfo: memFree=121878272/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=586972 CPUtime=3450.5 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1093506 0 0 0 344919 131 0 0 20 0 3 0 29936626 676728832 146743 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146743 2974 3032 0 149199 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=61156 CPUtime=3449.39 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1050999 0 0 0 344832 107 0 0 20 0 3 0 29936705 676728832 146743 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=12368 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 216 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146743 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3450.5 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 586972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/250 237485
/proc/meminfo: memFree=121877420/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587052 CPUtime=3510.3 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1098487 0 0 0 350897 133 0 0 20 0 3 0 29936626 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146763 2974 3032 0 149199 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=586972 CPUtime=3509.18 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1055923 0 0 0 350810 108 0 0 20 0 3 0 29936705 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=11616 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 218 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3510.3 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/250 237552
/proc/meminfo: memFree=121873584/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587052 CPUtime=3570.11 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1101919 0 0 0 356877 134 0 0 20 0 3 0 29936626 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146763 2974 3032 0 149199 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=587052 CPUtime=3568.99 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1059323 0 0 0 356790 109 0 0 20 0 3 0 29936705 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=11616 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3570.11 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587052 KiB
[startup+3600.42 s]
# the end of solver process 235534 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.81 s, system=1.37274 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.04 5/250 237552
/proc/meminfo: memFree=121873612/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587052 CPUtime=3571.82 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1101933 0 0 0 357048 134 0 0 20 0 3 0 29936626 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146763 2974 3032 0 149199 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=6720667649124482402 CPUtime=3570.7 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1059337 0 0 0 356961 109 0 0 20 0 3 0 29936705 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=-7233763581549372027 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146763 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587052 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.04 5/250 237553
/proc/meminfo: memFree=121866272/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587112 CPUtime=3578.18 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1102901 0 0 0 357684 134 0 0 20 0 3 0 29936626 676728832 146778 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146778 2974 3032 0 149199 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=587052 CPUtime=3577.06 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1060283 0 0 0 357597 109 0 0 20 0 3 0 29936705 676728832 146778 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=6720661043431161190 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146778 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3578.18 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587112 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.04 5/250 237601
/proc/meminfo: memFree=122726760/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587532 CPUtime=3584.56 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1104590 0 0 0 358322 134 0 0 20 0 3 0 29936626 676728832 146883 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146883 2974 3032 0 149386 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=12368 CPUtime=3583.43 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1061971 0 0 0 358234 109 0 0 20 0 3 0 29936705 676728832 146883 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=587052 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146883 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587532 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.11 4.04 5/242 237639
/proc/meminfo: memFree=122870244/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587788 CPUtime=3586.15 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1104609 0 0 0 358481 134 0 0 20 0 3 0 29936626 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146947 2974 3032 0 149386 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=587120 CPUtime=3585.03 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1061990 0 0 0 358394 109 0 0 20 0 3 0 29936705 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=18416 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587788 KiB
[startup+3599.2 s]
/proc/loadavg: 4.10 4.11 4.04 5/250 237651
/proc/meminfo: memFree=122841836/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587788 CPUtime=3586.95 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1104623 0 0 0 358561 134 0 0 20 0 3 0 29936626 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146947 2974 3032 0 149386 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=593 CPUtime=3585.83 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1062004 0 0 0 358474 109 0 0 20 0 3 0 29936705 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=0 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587788 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.11 4.04 5/250 237651
/proc/meminfo: memFree=122837216/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=660868 memory=587788 CPUtime=3587.76 cores=0,2
/proc/235534/stat : 235534 (fscip) S 235531 235534 235357 0 -1 1077936128 1104797 0 0 0 358642 134 0 0 20 0 3 0 29936626 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 165217 146947 2974 3032 0 149386 0
[pid=235534/tid=235536] ppid=235531 vsize=660868 memory=18192 CPUtime=3586.64 cores=0,2
/proc/235534/task/235536/stat : 235536 (fscip) R 235531 235534 235357 0 -1 4194368 1062177 0 0 0 358555 109 0 0 20 0 3 0 29936705 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
[pid=235534/tid=235537] ppid=235531 vsize=660868 memory=17032 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 3 0 29936707 676728832 146947 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 660868 KiB
Current children cumulated memory: 587788 KiB
[startup+3600.4 s]
/proc/loadavg: 4.09 4.11 4.04 5/250 237651
/proc/meminfo: memFree=122837216/131655788 swapFree=131060916/131071996
[pid=235534] ppid=235531 vsize=601356 memory=519624 CPUtime=3588.15 cores=0,2
/proc/235534/stat : 235534 (fscip) R 235531 235534 235357 0 -1 4194304 1111381 0 0 0 358680 135 0 0 20 0 2 0 29936626 615788544 129906 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
/proc/235534/statm: 150339 129906 2974 3032 0 134508 0
[pid=235534/tid=235537] ppid=235531 vsize=601356 memory=19856 CPUtime=0.05 cores=0,2
/proc/235534/task/235537/stat : 235537 (fscip) S 235531 235534 235357 0 -1 1077936192 222 0 0 0 2 3 0 0 20 0 2 0 29936707 615788544 129906 134679101440 4194304 16613245 140720976653536 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38072320 140720976659480 140720976659596 140720976659596 140720976666608 0
Current children cumulated CPU time: 3588.15 s
Current children cumulated vsize: 601356 KiB
Current children cumulated memory: 519624 KiB
Child status: 0
Real time (s): 3600.42
CPU time (s): 3588.18
CPU user time (s): 3586.81
CPU system time (s): 1.37274
CPU usage (%): 99.66
Max. virtual memory (cumulated for all children) (KiB): 660868
Max. memory (cumulated for all children) (KiB): 587788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.81
system time used= 1.37274
maximum resident set size= 587788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1111699
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= 10322
involuntary context switches= 24563
# summary of solver processes directly reported to runsolver:
# pid: 235534
# total CPU time (s): 3588.18
# total CPU user time (s): 3586.81
# total CPU system time (s): 1.37274
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4494 second user time and 35.1726 second system time
The end
Begin job on nodeC007 at 2024-07-25 22:31:12
IDJOB=4459851
IDBENCH=148610
IDSOLVER=3064
FILE ID=nodeC007/4459851-1721939472
RUNJOBID= nodeC007-1721939462-235367
SLURM_JOB_ID= 8247261
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.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-4459851-1721939472/watcher-4459851-1721939472 -o /tmp/evaluation-result-4459851-1721939472/solver-4459851-1721939472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235367 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459851-1721939472.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 473f4f01ea80639962d90e3c1fd9a037
RANDOM SEED=1181492874
nodeC007.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 : 3392.079
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.67
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 : 3656.870
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.206
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.67
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.385
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 : 3653.413
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.67
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 : 3656.904
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.419
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.67
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.399
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: 124333588 kB
MemAvailable: 129618404 kB
Buffers: 338148 kB
Cached: 5645496 kB
SwapCached: 152 kB
Active: 1798928 kB
Inactive: 4727600 kB
Active(anon): 2260 kB
Inactive(anon): 585720 kB
Active(file): 1796668 kB
Inactive(file): 4141880 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131060916 kB
Dirty: 113748 kB
Writeback: 0 kB
AnonPages: 542820 kB
Mapped: 125964 kB
Shmem: 45112 kB
KReclaimable: 372936 kB
Slab: 485320 kB
SReclaimable: 372936 kB
SUnreclaim: 112384 kB
KernelStack: 3872 kB
PageTables: 10716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 737968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 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: 437064 kB
DirectMap2M: 60284928 kB
DirectMap1G: 75497472 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC007 at 2024-07-25 23:31:12