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.52/0.54 c Default LC presolving (default).
0.52/0.54 c ** Before presolving: virtualMemUsedAtLc = 201662304, getVmSize() = 138833920, SCIPgetMemUsed() = 99590948, SCIPgetMemTotal() = 109748788, SCIPgetMemExternEstim() = 91913516
0.52/0.54 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
2.68/2.77 c ** Estimated virtualMemUsedAtSolver = 313404008, getVmSize() = 417452032, SCIPgetMemUsed() = 219736809, SCIPgetMemTotal() = 378192497, SCIPgetMemExternEstim() = 91913516
2.68/2.77 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.68/2.77 c Original Problem :
2.68/2.77 c Problem name : instance-4434717-1721056066
2.68/2.77 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
2.68/2.77 c Constraints : 94227
2.68/2.77 c Objective sense : minimize
2.68/2.77 c Presolved Problem :
2.68/2.77 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
2.68/2.77 c Constraints : 94227
2.68/2.77 c Constraints : Number
2.68/2.77 c setppc : 94227
2.68/2.77 c ** Instance transfer method used: 0
2.88/2.90 c ** ParaScipInstance copy does not increase the number of variables. **
2.99/3.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.99/3.07 c Nodes Active
2.99/3.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.36/6.46 c * 6 0 1 1 -34.0000 - -
6.36/6.46 c 6 0 1 1 -34.0000 - -
6.86/6.98 c * 7 0 1 1 -39.0000 - -
47.32/47.56 c 48 2 1 1 -39.0000 -53.3333 36.75%
47.93/48.19 c * 48 2 1 1 -41.0000 -53.3333 30.08%
53.51/53.77 c 54 20 19 1 -41.0000 -53.3333 30.08%
60.09/60.31 c 60 39 38 1 -41.0000 -53.3333 30.08%
66.57/66.85 c * 67 53 52 1 -45.0000 -53.3333 18.52%
66.57/66.85 c 67 53 52 1 -45.0000 -53.3333 18.52%
74.65/74.92 c 75 71 70 1 -45.0000 -53.3333 18.52%
83.62/83.98 c 84 82 81 1 -45.0000 -53.3333 18.52%
91.90/92.24 c 92 85 84 1 -45.0000 -53.3333 18.52%
97.98/98.36 c 98 98 97 1 -45.0000 -53.3333 18.52%
103.96/104.33 c 104 109 108 1 -45.0000 -53.3333 18.52%
109.83/110.20 c 110 121 120 1 -45.0000 -53.3333 18.52%
114.92/115.36 c 115 128 127 1 -45.0000 -53.3333 18.52%
120.79/121.20 c 121 138 135 1 -45.0000 -53.3333 18.52%
126.77/127.26 c 127 157 148 1 -45.0000 -53.3333 18.52%
131.85/132.35 c 132 170 161 1 -45.0000 -53.3333 18.52%
137.13/137.69 c 138 212 185 1 -45.0000 -53.3333 18.52%
145.01/145.57 c 146 240 199 1 -45.0000 -53.3333 18.52%
150.10/150.66 c 151 257 216 1 -45.0000 -53.3333 18.52%
155.37/155.90 c 156 264 223 1 -45.0000 -53.3333 18.52%
160.85/161.45 c 161 303 244 1 -45.0000 -53.3333 18.52%
166.73/167.30 c 167 316 253 1 -45.0000 -53.3333 18.52%
171.71/172.39 c 172 328 265 1 -45.0000 -53.3333 18.52%
177.40/178.01 c 178 360 287 1 -45.0000 -53.3333 18.52%
182.77/183.46 c 183 487 340 1 -45.0000 -53.3333 18.52%
187.86/188.57 c 189 617 402 1 -45.0000 -53.3333 18.52%
193.84/194.57 c 195 664 433 1 -45.0000 -53.3333 18.52%
199.23/199.97 c 200 686 451 1 -45.0000 -53.3333 18.52%
204.32/205.07 c 205 735 478 1 -45.0000 -53.3333 18.52%
209.99/210.73 c 211 782 517 1 -45.0000 -53.3333 18.52%
215.68/216.44 c 216 841 576 1 -45.0000 -53.3333 18.52%
222.75/223.56 c 224 893 628 1 -45.0000 -53.3333 18.52%
228.14/228.98 c 229 899 634 1 -45.0000 -53.3333 18.52%
233.23/234.06 c 234 940 675 1 -45.0000 -53.3333 18.52%
241.40/242.28 c 242 971 706 1 -45.0000 -53.3333 18.52%
247.98/248.88 c 249 996 731 1 -45.0000 -53.3333 18.52%
255.96/256.86 c 257 1034 769 1 -45.0000 -53.3333 18.52%
263.34/264.24 c 264 1098 833 1 -45.0000 -53.3333 18.52%
269.23/270.12 c 270 1140 875 1 -45.0000 -53.3333 18.52%
272.22/273.18 c * 273 1158 893 1 -46.0000 -53.3333 15.94%
274.40/275.32 c 275 1192 876 1 -46.0000 -53.3333 15.94%
280.09/281.04 c 281 1241 925 1 -46.0000 -53.3333 15.94%
285.67/286.60 c 287 1313 997 1 -46.0000 -53.3333 15.94%
291.16/292.18 c 292 1365 1049 1 -46.0000 -53.3333 15.94%
297.24/298.25 c 298 1420 1104 1 -46.0000 -53.3333 15.94%
302.72/303.78 c 304 1482 1166 1 -46.0000 -53.3333 15.94%
312.88/313.98 c 314 1566 1250 1 -46.0000 -53.3333 15.94%
318.87/319.94 c 320 1571 1255 1 -46.0000 -53.3333 15.94%
324.65/325.78 c 326 1600 1284 1 -46.0000 -53.3333 15.94%
331.13/332.27 c 332 1614 1298 1 -46.0000 -53.3333 15.94%
336.21/337.38 c 337 1633 1317 1 -46.0000 -53.3333 15.94%
341.50/342.65 c 343 1652 1336 1 -46.0000 -53.3333 15.94%
346.58/347.70 c 348 1662 1346 1 -46.0000 -53.3333 15.94%
352.07/353.20 c 353 1745 1429 1 -46.0000 -53.3333 15.94%
358.65/359.87 c 360 1762 1446 1 -46.0000 -53.3333 15.94%
364.13/365.30 c 365 1778 1462 1 -46.0000 -53.3333 15.94%
371.71/372.94 c 373 1794 1478 1 -46.0000 -53.3333 15.94%
379.59/380.87 c 381 1813 1497 1 -46.0000 -53.3333 15.94%
385.57/386.84 c 387 1822 1506 1 -46.0000 -53.3333 15.94%
392.64/393.96 c 394 1846 1530 1 -46.0000 -53.3333 15.94%
398.43/399.77 c 400 1889 1573 1 -46.0000 -53.3333 15.94%
404.50/405.83 c 406 1953 1637 1 -46.0000 -53.3333 15.94%
409.89/411.21 c 411 1983 1667 1 -46.0000 -53.3333 15.94%
415.97/417.33 c 417 2045 1727 1 -46.0000 -53.3333 15.94%
421.25/422.62 c 423 2080 1762 1 -46.0000 -53.3333 15.94%
427.03/428.42 c 428 2102 1784 1 -46.0000 -53.3333 15.94%
432.92/434.36 c 434 2129 1811 1 -46.0000 -53.3333 15.94%
438.91/440.38 c 440 2155 1837 1 -46.0000 -53.3333 15.94%
444.79/446.20 c 446 2185 1867 1 -46.0000 -53.3333 15.94%
451.27/452.79 c 453 2219 1901 1 -46.0000 -53.3333 15.94%
457.06/458.53 c 459 2259 1939 1 -46.0000 -53.3333 15.94%
462.74/464.21 c 464 2289 1967 1 -46.0000 -53.3333 15.94%
467.72/469.27 c 469 2352 2028 1 -46.0000 -53.3333 15.94%
473.90/475.44 c 475 2366 2040 1 -46.0000 -53.3333 15.94%
479.60/481.12 c 481 2405 2079 1 -46.0000 -53.3333 15.94%
488.06/489.62 c 490 2467 2139 1 -46.0000 -53.3333 15.94%
493.46/495.07 c 495 2545 2213 1 -46.0000 -53.3333 15.94%
500.33/501.92 c 502 2598 2266 1 -46.0000 -53.3333 15.94%
509.90/511.54 c 512 2667 2335 1 -46.0000 -53.3333 15.94%
515.19/516.82 c 517 2737 2405 1 -46.0000 -53.3333 15.94%
520.48/522.14 c 522 2816 2480 1 -46.0000 -53.3333 15.94%
528.05/529.77 c 530 2837 2501 1 -46.0000 -53.3333 15.94%
533.64/535.38 c 535 2880 2544 1 -46.0000 -53.3333 15.94%
541.72/543.48 c 543 2936 2594 1 -46.0000 -53.3333 15.94%
548.01/549.79 c 550 2980 2632 1 -46.0000 -53.3333 15.94%
553.89/555.68 c 556 3038 2690 1 -46.0000 -53.3333 15.94%
559.68/561.46 c 561 3063 2711 1 -46.0000 -53.3333 15.94%
564.96/566.72 c 567 3114 2758 1 -46.0000 -53.3333 15.94%
570.45/572.29 c 572 3149 2793 1 -46.0000 -53.3333 15.94%
575.93/577.72 c 578 3196 2840 1 -46.0000 -53.3333 15.94%
581.12/582.94 c 583 3264 2908 1 -46.0000 -53.3333 15.94%
589.31/591.18 c 591 3295 2939 1 -46.0000 -53.3333 15.94%
597.48/599.32 c 599 3343 2981 1 -46.0000 -53.3333 15.94%
603.06/604.94 c 605 3396 3030 1 -46.0000 -53.3333 15.94%
609.96/611.84 c 612 3412 3044 1 -46.0000 -53.3333 15.94%
618.33/620.26 c 620 3461 3089 1 -46.0000 -53.3333 15.94%
624.02/625.91 c 626 3514 3140 1 -46.0000 -53.3333 15.94%
630.30/632.26 c 632 3532 3158 1 -46.0000 -53.3333 15.94%
636.89/638.81 c 639 3552 3176 1 -46.0000 -53.3333 15.94%
644.77/646.73 c 647 3567 3191 1 -46.0000 -53.3333 15.94%
653.64/655.68 c 656 3593 3217 1 -46.0000 -53.3333 15.94%
659.64/661.61 c 662 3616 3240 1 -46.0000 -53.3333 15.94%
665.42/667.47 c 667 3664 3288 1 -46.0000 -53.3333 15.94%
673.00/675.09 c 675 3687 3311 1 -46.0000 -53.3333 15.94%
678.10/680.15 c 680 3733 3355 1 -46.0000 -53.3333 15.94%
685.37/687.49 c 687 3761 3383 1 -46.0000 -53.3333 15.94%
691.65/693.76 c 694 3787 3409 1 -46.0000 -53.3333 15.94%
696.83/698.92 c 699 3836 3458 1 -46.0000 -53.3333 15.94%
702.42/704.59 c 705 3841 3463 1 -46.0000 -53.3333 15.94%
708.31/710.49 c 710 3882 3504 1 -46.0000 -53.3333 15.94%
715.68/717.87 c 718 3915 3537 1 -46.0000 -53.3333 15.94%
741.92/744.12 c 744 3973 0 1 -46.0000 -53.0000 15.22%
748.60/750.87 c 751 3974 1 1 -46.0000 -53.0000 15.22%
754.38/756.66 c 757 3998 25 1 -46.0000 -53.0000 15.22%
759.66/761.97 c 762 4009 36 1 -46.0000 -53.0000 15.22%
765.05/767.36 c 767 4029 56 1 -46.0000 -53.0000 15.22%
770.63/772.98 c 773 4055 82 1 -46.0000 -53.0000 15.22%
776.91/779.21 c 779 4096 123 1 -46.0000 -53.0000 15.22%
782.11/784.46 c 784 4132 159 1 -46.0000 -53.0000 15.22%
787.49/789.85 c 790 4200 227 1 -46.0000 -53.0000 15.22%
793.28/795.65 c 796 4260 287 1 -46.0000 -53.0000 15.22%
803.67/806.01 c 806 4265 292 1 -46.0000 -53.0000 15.22%
809.44/811.89 c 812 4270 297 1 -46.0000 -53.0000 15.22%
817.22/819.67 c 820 4319 346 1 -46.0000 -53.0000 15.22%
825.30/827.78 c 828 4323 350 1 -46.0000 -53.0000 15.22%
836.48/838.97 c 839 4339 364 1 -46.0000 -53.0000 15.22%
844.45/847.01 c 847 4407 432 1 -46.0000 -53.0000 15.22%
849.73/852.21 c 852 4486 511 1 -46.0000 -53.0000 15.22%
860.52/863.08 c 863 4515 538 1 -46.0000 -53.0000 15.22%
867.19/869.72 c 870 4519 540 1 -46.0000 -53.0000 15.22%
872.28/874.86 c 875 4598 617 1 -46.0000 -53.0000 15.22%
877.76/880.36 c 880 4664 677 1 -46.0000 -53.0000 15.22%
890.33/892.99 c 893 4734 745 1 -46.0000 -53.0000 15.22%
899.01/901.63 c 902 4759 770 1 -46.0000 -53.0000 15.22%
904.69/907.33 c 907 4782 789 1 -46.0000 -53.0000 15.22%
912.87/915.55 c 916 4854 853 1 -46.0000 -53.0000 15.22%
919.16/921.89 c 922 4864 863 1 -46.0000 -53.0000 15.22%
926.94/929.68 c 930 4874 873 1 -46.0000 -53.0000 15.22%
932.63/935.35 c 935 4889 888 1 -46.0000 -53.0000 15.22%
942.90/945.62 c 946 4898 895 1 -46.0000 -53.0000 15.22%
951.58/954.31 c 954 4927 922 1 -46.0000 -53.0000 15.22%
960.16/962.95 c 963 4932 927 1 -46.0000 -53.0000 15.22%
966.85/969.61 c 970 4944 935 1 -46.0000 -53.0000 15.22%
974.03/976.84 c 977 4979 968 1 -46.0000 -53.0000 15.22%
980.81/983.60 c 984 4998 979 1 -46.0000 -53.0000 15.22%
988.60/991.40 c 991 5040 1013 1 -46.0000 -53.0000 15.22%
995.20/998.06 c 998 5045 1016 1 -46.0000 -53.0000 15.22%
1003.56/1006.45 c 1006 5070 1041 1 -46.0000 -53.0000 15.22%
1012.44/1015.32 c 1015 5085 1052 1 -46.0000 -53.0000 15.22%
1019.42/1022.33 c 1022 5094 1061 1 -46.0000 -53.0000 15.22%
1025.01/1027.93 c 1028 5102 1069 1 -46.0000 -53.0000 15.22%
1033.80/1036.78 c 1037 5111 1076 1 -46.0000 -53.0000 15.22%
1042.27/1045.21 c 1045 5188 1153 1 -46.0000 -53.0000 15.22%
1050.55/1053.56 c 1054 5218 1183 1 -46.0000 -53.0000 15.22%
1057.54/1060.54 c 1061 5247 1212 1 -46.0000 -53.0000 15.22%
1064.93/1068.01 c 1068 5273 1238 1 -46.0000 -53.0000 15.22%
1073.11/1076.11 c 1076 5290 1253 1 -46.0000 -53.0000 15.22%
1079.79/1082.84 c 1083 5303 1266 1 -46.0000 -53.0000 15.22%
1088.77/1091.81 c 1092 5313 1276 1 -46.0000 -53.0000 15.22%
1094.45/1097.52 c 1098 5324 1285 1 -46.0000 -53.0000 15.22%
1101.84/1105.01 c 1105 5340 1301 1 -46.0000 -53.0000 15.22%
1107.71/1110.87 c 1111 5394 1353 1 -46.0000 -53.0000 15.22%
1119.00/1122.16 c 1122 5405 1364 1 -46.0000 -53.0000 15.22%
1126.88/1130.09 c 1130 5415 1372 1 -46.0000 -53.0000 15.22%
1135.65/1138.88 c 1139 5456 1399 1 -46.0000 -53.0000 15.22%
1141.34/1144.50 c 1144 5460 1403 1 -46.0000 -53.0000 15.22%
1147.52/1150.72 c 1151 5467 1408 1 -46.0000 -53.0000 15.22%
1157.00/1160.29 c 1160 5472 1413 1 -46.0000 -53.0000 15.22%
1162.18/1165.43 c 1165 5510 1443 1 -46.0000 -53.0000 15.22%
1172.45/1175.77 c 1176 5537 1468 1 -46.0000 -53.0000 15.22%
1179.94/1183.27 c 1183 5542 1473 1 -46.0000 -53.0000 15.22%
1186.33/1189.66 c 1190 5553 1484 1 -46.0000 -53.0000 15.22%
1196.41/1199.76 c 1200 5558 1489 1 -46.0000 -53.0000 15.22%
1202.49/1205.82 c 1206 5564 1495 1 -46.0000 -53.0000 15.22%
1208.48/1211.80 c 1212 5579 1510 1 -46.0000 -53.0000 15.22%
1216.36/1219.71 c 1220 5608 1533 1 -46.0000 -53.0000 15.22%
1226.43/1229.85 c 1230 5609 1534 1 -46.0000 -53.0000 15.22%
1239.89/1243.30 c 1243 5621 1538 1 -46.0000 -53.0000 15.22%
1247.27/1250.72 c 1251 5688 1597 1 -46.0000 -53.0000 15.22%
1252.56/1256.09 c 1256 5765 1662 1 -46.0000 -53.0000 15.22%
1257.93/1261.44 c 1261 5787 1684 1 -46.0000 -53.0000 15.22%
1266.81/1270.38 c 1270 5926 1759 1 -46.0000 -53.0000 15.22%
1272.09/1275.62 c 1276 6076 1841 1 -46.0000 -53.0000 15.22%
1278.07/1281.64 c 1282 6173 1910 1 -46.0000 -53.0000 15.22%
1283.86/1287.44 c 1287 6220 1947 1 -46.0000 -53.0000 15.22%
1291.84/1295.43 c 1295 6250 1969 1 -46.0000 -53.0000 15.22%
1298.23/1301.82 c 1302 6289 1994 1 -46.0000 -53.0000 15.22%
1303.61/1307.20 c 1307 6316 2005 1 -46.0000 -53.0000 15.22%
1314.40/1318.11 c 1318 6331 2014 1 -46.0000 -53.0000 15.22%
1320.28/1323.93 c 1324 6339 2020 1 -46.0000 -53.0000 15.22%
1327.66/1331.39 c 1331 6347 2026 1 -46.0000 -53.0000 15.22%
1332.75/1336.47 c 1336 6368 2041 1 -46.0000 -53.0000 15.22%
1340.73/1344.40 c 1344 6370 2043 1 -46.0000 -53.0000 15.22%
1349.52/1353.20 c 1353 6426 2075 1 -46.0000 -53.0000 15.22%
1355.09/1358.80 c 1359 6485 2118 1 -46.0000 -53.0000 15.22%
1360.48/1364.28 c 1364 6508 2133 1 -46.0000 -53.0000 15.22%
1370.56/1374.38 c 1374 6548 2153 1 -46.0000 -53.0000 15.22%
1378.04/1381.81 c 1382 6564 2165 1 -46.0000 -53.0000 15.22%
1385.42/1389.23 c 1389 6599 2182 1 -46.0000 -53.0000 15.22%
1391.22/1395.06 c 1395 6607 2186 1 -46.0000 -53.0000 15.22%
1397.89/1401.76 c 1402 6637 2206 1 -46.0000 -53.0000 15.22%
1404.19/1408.10 c 1408 6651 2220 1 -46.0000 -53.0000 15.22%
1410.76/1414.62 c 1415 6658 2227 1 -46.0000 -53.0000 15.22%
1415.85/1419.77 c 1420 6665 2232 1 -46.0000 -53.0000 15.22%
1422.04/1425.95 c 1426 6679 2246 1 -46.0000 -53.0000 15.22%
1430.24/1434.19 c 1434 6690 2257 1 -46.0000 -53.0000 15.22%
1438.61/1442.56 c 1443 6748 2295 1 -46.0000 -53.0000 15.22%
1443.89/1447.81 c 1448 6809 2334 1 -46.0000 -53.0000 15.22%
1455.96/1459.91 c 1460 6877 2382 1 -46.0000 -53.0000 15.22%
1466.33/1470.33 c 1470 6902 2389 1 -46.0000 -53.0000 15.22%
1471.92/1475.98 c 1476 6935 2408 1 -46.0000 -53.0000 15.22%
1478.01/1482.08 c 1482 6964 2435 1 -46.0000 -53.0000 15.22%
1483.68/1487.73 c 1488 7029 2488 1 -46.0000 -53.0000 15.22%
1488.68/1492.80 c 1493 7140 2565 1 -46.0000 -53.0000 15.22%
1495.85/1499.95 c 1500 7158 2577 1 -46.0000 -53.0000 15.22%
1502.54/1506.64 c 1507 7172 2589 1 -46.0000 -53.0000 15.22%
1511.42/1515.56 c 1516 7205 2616 1 -46.0000 -53.0000 15.22%
1519.30/1523.40 c 1523 7249 2640 1 -46.0000 -53.0000 15.22%
1527.38/1531.59 c 1532 7264 2651 1 -46.0000 -53.0000 15.22%
1536.26/1540.43 c 1540 7273 2656 1 -46.0000 -53.0000 15.22%
1547.33/1551.55 c 1552 7307 2672 1 -46.0000 -53.0000 15.22%
1555.82/1560.05 c 1560 7337 2688 1 -46.0000 -53.0000 15.22%
1561.81/1566.07 c 1566 7346 2691 1 -46.0000 -53.0000 15.22%
1569.68/1573.92 c 1574 7353 2696 1 -46.0000 -53.0000 15.22%
1575.07/1579.38 c 1579 7412 2729 1 -46.0000 -53.0000 15.22%
1580.55/1584.81 c 1585 7415 2732 1 -46.0000 -53.0000 15.22%
1585.54/1589.87 c 1590 7502 2795 1 -46.0000 -53.0000 15.22%
1590.73/1595.11 c 1595 7557 2830 1 -46.0000 -53.0000 15.22%
1598.01/1602.38 c 1602 7574 2843 1 -46.0000 -53.0000 15.22%
1604.99/1609.34 c 1609 7586 2851 1 -46.0000 -53.0000 15.22%
1610.58/1614.92 c 1615 7603 2860 1 -46.0000 -53.0000 15.22%
1616.46/1620.82 c 1621 7613 2862 1 -46.0000 -53.0000 15.22%
1621.45/1625.87 c 1626 7689 2918 1 -46.0000 -53.0000 15.22%
1627.64/1632.09 c 1632 7783 2982 1 -46.0000 -53.0000 15.22%
1636.73/1641.16 c 1641 7804 2995 1 -46.0000 -53.0000 15.22%
1644.60/1649.03 c 1649 7826 3009 1 -46.0000 -53.0000 15.22%
1649.70/1654.11 c 1654 7837 3016 1 -46.0000 -53.0000 15.22%
1655.27/1659.72 c 1660 7943 3080 1 -46.0000 -53.0000 15.22%
1661.76/1666.21 c 1666 7996 3117 1 -46.0000 -53.0000 15.22%
1667.24/1671.78 c 1672 8056 3171 1 -46.0000 -53.0000 15.22%
1676.71/1681.28 c 1681 8073 3186 1 -46.0000 -53.0000 15.22%
1684.19/1688.78 c 1689 8096 3207 1 -46.0000 -53.0000 15.22%
1689.58/1694.12 c 1694 8111 3218 1 -46.0000 -53.0000 15.22%
1697.47/1702.03 c 1702 8127 3228 1 -46.0000 -53.0000 15.22%
1708.83/1713.40 c 1713 8149 3240 1 -46.0000 -53.0000 15.22%
1713.92/1718.50 c 1718 8160 3249 1 -46.0000 -53.0000 15.22%
1729.97/1734.60 c 1735 8172 3259 1 -46.0000 -53.0000 15.22%
1736.56/1741.24 c 1741 8189 3274 1 -46.0000 -53.0000 15.22%
1741.84/1746.52 c 1747 8224 3293 1 -46.0000 -53.0000 15.22%
1747.03/1751.75 c 1752 8242 3309 1 -46.0000 -53.0000 15.22%
1752.23/1756.93 c 1757 8251 3314 1 -46.0000 -53.0000 15.22%
1766.79/1771.52 c 1772 8267 3324 1 -46.0000 -53.0000 15.22%
1772.58/1777.37 c 1777 8316 3365 1 -46.0000 -53.0000 15.22%
1777.56/1782.40 c 1782 8324 3371 1 -46.0000 -53.0000 15.22%
1782.85/1787.64 c 1788 8356 3395 1 -46.0000 -53.0000 15.22%
1791.43/1796.23 c 1796 8363 3400 1 -46.0000 -53.0000 15.22%
1799.11/1803.98 c 1804 8379 3408 1 -46.0000 -53.0000 15.22%
1805.60/1810.48 c 1810 8406 3427 1 -46.0000 -53.0000 15.22%
1810.89/1815.76 c 1816 8413 3434 1 -46.0000 -53.0000 15.22%
1818.47/1823.32 c 1823 8436 3447 1 -46.0000 -53.0000 15.22%
1823.56/1828.41 c 1828 8444 3451 1 -46.0000 -53.0000 15.22%
1828.85/1833.75 c 1834 8453 3454 1 -46.0000 -53.0000 15.22%
1834.33/1839.23 c 1839 8468 3465 1 -46.0000 -53.0000 15.22%
1840.82/1845.76 c 1846 8495 3480 1 -46.0000 -53.0000 15.22%
1849.90/1854.84 c 1855 8558 3529 1 -46.0000 -53.0000 15.22%
1860.37/1865.33 c 1865 8580 3545 1 -46.0000 -53.0000 15.22%
1865.86/1870.89 c 1871 8620 3579 1 -46.0000 -53.0000 15.22%
1871.44/1876.48 c 1876 8654 3601 1 -46.0000 -53.0000 15.22%
1876.83/1881.81 c 1882 8780 3683 1 -46.0000 -53.0000 15.22%
1881.92/1886.91 c 1887 8915 3756 1 -46.0000 -53.0000 15.22%
1887.61/1892.69 c 1893 9032 3829 1 -46.0000 -53.0000 15.22%
1893.01/1898.01 c 1898 9133 3898 1 -46.0000 -53.0000 15.22%
1897.99/1903.09 c 1903 9155 3914 1 -46.0000 -53.0000 15.22%
1903.36/1908.42 c 1908 9240 3963 1 -46.0000 -53.0000 15.22%
1908.45/1913.59 c 1914 9343 4016 1 -46.0000 -53.0000 15.22%
1914.34/1919.46 c 1919 9405 4042 1 -46.0000 -53.0000 15.22%
1923.62/1928.76 c 1929 9427 4058 1 -46.0000 -53.0000 15.22%
1929.80/1934.94 c 1935 9479 4090 1 -46.0000 -53.0000 15.22%
1936.68/1941.80 c 1942 9490 4099 1 -46.0000 -53.0000 15.22%
1942.07/1947.23 c 1947 9578 4159 1 -46.0000 -53.0000 15.22%
1950.35/1955.51 c 1956 9606 4175 1 -46.0000 -53.0000 15.22%
1959.13/1964.38 c 1964 9643 4205 1 -46.0000 -53.0000 15.22%
1966.82/1972.03 c 1972 9660 4216 1 -46.0000 -53.0000 15.22%
1974.69/1979.97 c 1980 9691 4233 1 -46.0000 -53.0000 15.22%
1981.18/1986.41 c 1986 9728 4256 1 -46.0000 -53.0000 15.22%
1986.17/1991.48 c 1991 9731 4257 1 -46.0000 -53.0000 15.22%
1991.77/1997.04 c 1997 9758 4276 1 -46.0000 -53.0000 15.22%
1997.04/2002.35 c 2002 9819 4309 1 -46.0000 -53.0000 15.22%
2002.43/2007.78 c 2008 9839 4323 1 -46.0000 -53.0000 15.22%
2008.11/2013.47 c 2013 9886 4358 1 -46.0000 -53.0000 15.22%
2014.81/2020.16 c 2020 9892 4364 1 -46.0000 -53.0000 15.22%
2020.19/2025.58 c 2026 10006 4418 1 -46.0000 -53.0000 15.22%
2026.17/2031.56 c 2032 10077 4463 1 -46.0000 -53.0000 15.22%
2031.26/2036.61 c 2037 10082 4468 1 -46.0000 -53.0000 15.22%
2037.66/2043.09 c 2043 10094 4474 1 -46.0000 -53.0000 15.22%
2048.13/2053.55 c 2054 10146 4510 1 -46.0000 -53.0000 15.22%
2053.91/2059.38 c 2059 10206 4554 1 -46.0000 -53.0000 15.22%
2063.79/2069.21 c 2069 10233 4573 1 -46.0000 -53.0000 15.22%
2071.58/2077.01 c 2077 10249 4583 1 -46.0000 -53.0000 15.22%
2082.65/2088.14 c 2088 10293 4603 1 -46.0000 -53.0000 15.22%
2088.65/2094.13 c 2094 10324 4620 1 -46.0000 -53.0000 15.22%
2096.91/2102.45 c 2102 10384 4654 1 -46.0000 -53.0000 15.22%
2103.10/2108.61 c 2109 10427 4675 1 -46.0000 -53.0000 15.22%
2111.98/2117.52 c 2118 10496 4724 1 -46.0000 -53.0000 15.22%
2117.16/2122.71 c 2123 10514 4740 1 -46.0000 -53.0000 15.22%
2123.04/2128.64 c 2129 10558 4768 1 -46.0000 -53.0000 15.22%
2128.44/2134.01 c 2134 10599 4797 1 -46.0000 -53.0000 15.22%
2136.51/2142.13 c 2142 10653 4829 1 -46.0000 -53.0000 15.22%
2141.98/2147.62 c 2148 10725 4873 1 -46.0000 -53.0000 15.22%
2150.47/2156.14 c 2156 10744 4892 1 -46.0000 -53.0000 15.22%
2156.65/2162.33 c 2162 10762 4900 1 -46.0000 -53.0000 15.22%
2161.73/2167.48 c 2167 10779 4909 1 -46.0000 -53.0000 15.22%
2167.71/2173.49 c 2173 10830 4950 1 -46.0000 -53.0000 15.22%
2172.99/2178.71 c 2179 10861 4973 1 -46.0000 -53.0000 15.22%
2178.77/2184.55 c 2185 10867 4975 1 -46.0000 -53.0000 15.22%
2185.75/2191.51 c 2192 10903 5001 1 -46.0000 -53.0000 15.22%
2192.13/2197.90 c 2198 10918 5012 1 -46.0000 -53.0000 15.22%
2198.11/2203.92 c 2204 10944 5030 1 -46.0000 -53.0000 15.22%
2204.50/2210.31 c 2210 11003 5065 1 -46.0000 -53.0000 15.22%
2211.68/2217.50 c 2218 11048 5092 1 -46.0000 -53.0000 15.22%
2220.45/2226.33 c 2226 11061 5099 1 -46.0000 -53.0000 15.22%
2225.54/2231.48 c 2231 11179 5183 1 -46.0000 -53.0000 15.22%
2231.33/2237.21 c 2237 11213 5201 1 -46.0000 -53.0000 15.22%
2238.51/2244.40 c 2244 11279 5233 1 -46.0000 -53.0000 15.22%
2245.10/2251.02 c 2251 11350 5280 1 -46.0000 -53.0000 15.22%
2252.08/2258.01 c 2258 11387 5301 1 -46.0000 -53.0000 15.22%
2259.07/2265.03 c 2265 11448 5342 1 -46.0000 -53.0000 15.22%
2266.44/2272.47 c 2272 11473 5363 1 -46.0000 -53.0000 15.22%
2273.93/2279.90 c 2280 11529 5389 1 -46.0000 -53.0000 15.22%
2285.40/2291.40 c 2291 11548 5400 1 -46.0000 -53.0000 15.22%
2293.38/2299.47 c 2299 11559 5403 1 -46.0000 -53.0000 15.22%
2307.85/2313.99 c 2314 11595 5429 1 -46.0000 -53.0000 15.22%
2315.73/2321.83 c 2322 11600 5434 1 -46.0000 -53.0000 15.22%
2324.21/2330.31 c 2330 11618 5446 1 -46.0000 -53.0000 15.22%
2329.50/2335.63 c 2336 11681 5479 1 -46.0000 -53.0000 15.22%
2336.69/2342.81 c 2343 11704 5498 1 -46.0000 -53.0000 15.22%
2343.28/2349.47 c 2349 11721 5507 1 -46.0000 -53.0000 15.22%
2351.36/2357.54 c 2358 11736 5520 1 -46.0000 -53.0000 15.22%
2357.05/2363.20 c 2363 11752 5524 1 -46.0000 -53.0000 15.22%
2365.52/2371.78 c 2372 11892 5618 1 -46.0000 -53.0000 15.22%
2372.82/2379.09 c 2379 11916 5628 1 -46.0000 -53.0000 15.22%
2379.29/2385.54 c 2386 11949 5637 1 -46.0000 -53.0000 15.22%
2387.07/2393.31 c 2393 11979 5661 1 -46.0000 -53.0000 15.22%
2396.05/2402.38 c 2402 12119 5737 1 -46.0000 -53.0000 15.22%
2401.64/2407.95 c 2408 12231 5809 1 -46.0000 -53.0000 15.22%
2406.74/2413.02 c 2413 12314 5860 1 -46.0000 -53.0000 15.22%
2411.73/2418.09 c 2418 12366 5910 1 -46.0000 -53.0000 15.22%
2417.30/2423.60 c 2424 12415 5953 1 -46.0000 -53.0000 15.22%
2422.70/2429.05 c 2429 12496 6002 1 -46.0000 -53.0000 15.22%
2428.58/2434.91 c 2435 12630 6070 1 -46.0000 -53.0000 15.22%
2435.86/2442.27 c 2442 12701 6113 1 -46.0000 -53.0000 15.22%
2441.45/2447.84 c 2448 12715 6125 1 -46.0000 -53.0000 15.22%
2447.43/2453.82 c 2454 12750 6140 1 -46.0000 -53.0000 15.22%
2453.52/2459.90 c 2460 12773 6151 1 -46.0000 -53.0000 15.22%
2458.51/2464.97 c 2465 12802 6164 1 -46.0000 -53.0000 15.22%
2464.09/2470.54 c 2471 12829 6179 1 -46.0000 -53.0000 15.22%
2470.98/2477.46 c 2477 12835 6183 1 -46.0000 -53.0000 15.22%
2476.87/2483.34 c 2483 12892 6218 1 -46.0000 -53.0000 15.22%
2483.15/2489.61 c 2490 12954 6252 1 -46.0000 -53.0000 15.22%
2489.65/2496.15 c 2496 13058 6310 1 -46.0000 -53.0000 15.22%
2497.81/2504.39 c 2504 13155 6361 1 -46.0000 -53.0000 15.22%
2508.28/2514.81 c 2515 13223 6399 1 -46.0000 -53.0000 15.22%
2516.47/2523.10 c 2523 13231 6403 1 -46.0000 -53.0000 15.22%
2527.22/2533.85 c 2534 13299 6439 1 -46.0000 -53.0000 15.22%
2533.21/2539.80 c 2540 13308 6442 1 -46.0000 -53.0000 15.22%
2541.29/2547.99 c 2548 13391 6487 1 -46.0000 -53.0000 15.22%
2549.07/2555.71 c 2556 13428 6512 1 -46.0000 -53.0000 15.22%
2560.34/2567.04 c 2567 13466 6536 1 -46.0000 -53.0000 15.22%
2568.21/2574.96 c 2575 13467 6535 1 -46.0000 -53.0000 15.22%
2573.90/2580.68 c 2581 13580 6594 1 -46.0000 -53.0000 15.22%
2582.67/2589.44 c 2589 13627 6615 1 -46.0000 -53.0000 15.22%
2592.14/2598.99 c 2599 13635 6623 1 -46.0000 -53.0000 15.22%
2597.73/2604.53 c 2605 13656 6634 1 -46.0000 -53.0000 15.22%
2608.31/2615.15 c 2615 13690 6646 1 -46.0000 -53.0000 15.22%
2617.37/2624.22 c 2624 13711 6653 1 -46.0000 -53.0000 15.22%
2624.74/2631.60 c 2632 13733 6659 1 -46.0000 -53.0000 15.22%
2638.49/2645.44 c 2645 13858 6732 1 -46.0000 -53.0000 15.22%
2646.87/2653.83 c 2654 13892 6756 1 -46.0000 -53.0000 15.22%
2652.45/2659.49 c 2659 14041 6823 1 -46.0000 -53.0000 15.22%
2657.72/2664.72 c 2665 14126 6868 1 -46.0000 -53.0000 15.22%
2665.90/2672.93 c 2673 14160 6896 1 -46.0000 -53.0000 15.22%
2678.26/2685.30 c 2685 14181 6909 1 -46.0000 -53.0000 15.22%
2684.24/2691.30 c 2691 14230 6934 1 -46.0000 -53.0000 15.22%
2690.12/2697.27 c 2697 14310 6974 1 -46.0000 -53.0000 15.22%
2695.70/2702.89 c 2703 14372 7006 1 -46.0000 -53.0000 15.22%
2701.18/2708.33 c 2708 14428 7036 1 -46.0000 -53.0000 15.22%
2707.26/2714.45 c 2714 14513 7067 1 -46.0000 -53.0000 15.22%
2714.35/2721.57 c 2722 14565 7089 1 -46.0000 -53.0000 15.22%
2722.23/2729.46 c 2729 14576 7096 1 -46.0000 -53.0000 15.22%
2727.31/2734.54 c 2735 14652 7140 1 -46.0000 -53.0000 15.22%
2738.60/2745.83 c 2746 14705 7169 1 -46.0000 -53.0000 15.22%
2749.97/2757.27 c 2757 14733 7185 1 -46.0000 -53.0000 15.22%
2755.15/2762.43 c 2762 14779 7211 1 -46.0000 -53.0000 15.22%
2763.33/2770.66 c 2771 14812 7230 1 -46.0000 -53.0000 15.22%
2771.42/2778.73 c 2779 14870 7260 1 -46.0000 -53.0000 15.22%
2776.51/2783.81 c 2784 14902 7278 1 -46.0000 -53.0000 15.22%
2786.98/2794.33 c 2794 15012 7340 1 -46.0000 -53.0000 15.22%
2792.68/2800.09 c 2800 15120 7402 1 -46.0000 -53.0000 15.22%
2800.05/2807.45 c 2807 15154 7420 1 -46.0000 -53.0000 15.22%
2805.54/2812.97 c 2813 15232 7472 1 -46.0000 -53.0000 15.22%
2811.22/2818.63 c 2819 15266 7488 1 -46.0000 -53.0000 15.22%
2816.31/2823.71 c 2824 15305 7509 1 -46.0000 -53.0000 15.22%
2822.29/2829.74 c 2830 15352 7532 1 -46.0000 -53.0000 15.22%
2832.27/2839.73 c 2840 15407 7565 1 -46.0000 -53.0000 15.22%
2839.25/2846.73 c 2847 15450 7586 1 -46.0000 -53.0000 15.22%
2845.45/2852.94 c 2853 15472 7600 1 -46.0000 -53.0000 15.22%
2852.33/2859.86 c 2860 15544 7638 1 -46.0000 -53.0000 15.22%
2857.42/2865.01 c 2865 15593 7659 1 -46.0000 -53.0000 15.22%
2865.70/2873.22 c 2873 15607 7667 1 -46.0000 -53.0000 15.22%
2873.88/2881.41 c 2881 15623 7673 1 -46.0000 -53.0000 15.22%
2879.06/2886.66 c 2887 15686 7706 1 -46.0000 -53.0000 15.22%
2887.94/2895.52 c 2896 15693 7711 1 -46.0000 -53.0000 15.22%
2896.62/2904.24 c 2904 15719 7725 1 -46.0000 -53.0000 15.22%
2903.71/2911.39 c 2911 15792 7760 1 -46.0000 -53.0000 15.22%
2908.89/2916.59 c 2917 15867 7799 1 -46.0000 -53.0000 15.22%
2914.58/2922.20 c 2922 15906 7834 1 -46.0000 -53.0000 15.22%
2920.17/2927.83 c 2928 15945 7873 1 -46.0000 -53.0000 15.22%
2925.56/2933.26 c 2933 16051 7969 1 -46.0000 -53.0000 15.22%
2930.65/2938.34 c 2938 16131 8015 1 -46.0000 -53.0000 15.22%
2936.23/2943.99 c 2944 16147 8023 1 -46.0000 -53.0000 15.22%
2944.81/2952.59 c 2953 16222 8080 1 -46.0000 -53.0000 15.22%
2951.31/2959.06 c 2959 16223 8081 1 -46.0000 -53.0000 15.22%
2961.29/2969.08 c 2969 16231 8087 1 -46.0000 -53.0000 15.22%
2966.46/2974.25 c 2974 16259 8101 1 -46.0000 -53.0000 15.22%
2975.74/2983.59 c 2984 16301 8123 1 -46.0000 -53.0000 15.22%
2981.12/2988.95 c 2989 16356 8168 1 -46.0000 -53.0000 15.22%
2987.01/2994.80 c 2995 16434 8236 1 -46.0000 -53.0000 15.22%
2992.80/3000.63 c 3001 16460 8254 1 -46.0000 -53.0000 15.22%
2997.98/3005.88 c 3006 16578 8354 1 -46.0000 -53.0000 15.22%
3009.05/3016.97 c 3017 16689 8449 1 -46.0000 -53.0000 15.22%
3014.25/3022.16 c 3022 16778 8528 1 -46.0000 -53.0000 15.22%
3019.32/3027.29 c 3027 16933 8631 1 -46.0000 -53.0000 15.22%
3028.80/3036.74 c 3037 16954 8642 1 -46.0000 -53.0000 15.22%
3036.38/3044.34 c 3044 16974 8644 1 -46.0000 -53.0000 15.22%
3042.28/3050.28 c 3050 17039 8679 1 -46.0000 -53.0000 15.22%
3047.56/3055.55 c 3056 17131 8765 1 -46.0000 -53.0000 15.22%
3054.34/3062.37 c 3062 17243 8853 1 -46.0000 -53.0000 15.22%
3061.33/3069.36 c 3069 17250 8858 1 -46.0000 -53.0000 15.22%
3066.82/3074.82 c 3075 17257 8863 1 -46.0000 -53.0000 15.22%
3073.90/3081.98 c 3082 17314 8910 1 -46.0000 -53.0000 15.22%
3079.19/3087.21 c 3087 17358 8950 1 -46.0000 -53.0000 15.22%
3084.47/3092.58 c 3093 17450 9020 1 -46.0000 -53.0000 15.22%
3089.66/3097.74 c 3098 17563 9117 1 -46.0000 -53.0000 15.22%
3097.34/3105.44 c 3105 17644 9172 1 -46.0000 -53.0000 15.22%
3102.33/3110.46 c 3110 17659 9181 1 -46.0000 -53.0000 15.22%
3109.21/3117.32 c 3117 17685 9195 1 -46.0000 -53.0000 15.22%
3114.20/3122.39 c 3122 17758 9246 1 -46.0000 -53.0000 15.22%
3120.90/3129.02 c 3129 17764 9250 1 -46.0000 -53.0000 15.22%
3129.98/3138.13 c 3138 17783 9261 1 -46.0000 -53.0000 15.22%
3138.25/3146.42 c 3146 17798 9272 1 -46.0000 -53.0000 15.22%
3144.03/3152.22 c 3152 17878 9332 1 -46.0000 -53.0000 15.22%
3152.21/3160.42 c 3160 17965 9401 1 -46.0000 -53.0000 15.22%
3165.36/3173.67 c 3174 18081 9489 1 -46.0000 -53.0000 15.22%
3171.14/3179.47 c 3179 18090 9494 1 -46.0000 -53.0000 15.22%
3176.23/3184.58 c 3185 18249 9589 1 -46.0000 -53.0000 15.22%
3186.20/3194.53 c 3195 18258 9596 1 -46.0000 -53.0000 15.22%
3192.08/3200.48 c 3200 18285 9613 1 -46.0000 -53.0000 15.22%
3198.17/3206.59 c 3207 18329 9641 1 -46.0000 -53.0000 15.22%
3204.66/3213.02 c 3213 18365 9659 1 -46.0000 -53.0000 15.22%
3209.64/3218.10 c 3218 18494 9760 1 -46.0000 -53.0000 15.22%
3214.91/3223.31 c 3223 18629 9857 1 -46.0000 -53.0000 15.22%
3220.60/3229.02 c 3229 18781 9943 1 -46.0000 -53.0000 15.22%
3225.69/3234.18 c 3234 18902 10052 1 -46.0000 -53.0000 15.22%
3230.76/3239.29 c 3239 19061 10147 1 -46.0000 -53.0000 15.22%
3235.94/3244.41 c 3244 19260 10250 1 -46.0000 -53.0000 15.22%
3241.22/3249.73 c 3250 19425 10331 1 -46.0000 -53.0000 15.22%
3246.41/3254.98 c 3255 19579 10425 1 -46.0000 -53.0000 15.22%
3251.51/3260.10 c 3260 19716 10518 1 -46.0000 -53.0000 15.22%
3257.38/3265.91 c 3266 19807 10569 1 -46.0000 -53.0000 15.22%
3262.58/3271.14 c 3271 19924 10654 1 -46.0000 -53.0000 15.22%
3274.54/3283.16 c 3283 20008 10700 1 -46.0000 -53.0000 15.22%
3284.61/3293.27 c 3293 20033 10717 1 -46.0000 -53.0000 15.22%
3291.99/3300.64 c 3301 20050 10724 1 -46.0000 -53.0000 15.22%
3297.08/3305.79 c 3306 20084 10742 1 -46.0000 -53.0000 15.22%
3302.97/3311.68 c 3312 20194 10810 1 -46.0000 -53.0000 15.22%
3308.75/3317.48 c 3317 20301 10887 1 -46.0000 -53.0000 15.22%
3314.04/3322.77 c 3323 20398 10956 1 -46.0000 -53.0000 15.22%
3319.82/3328.54 c 3329 20445 10987 1 -46.0000 -53.0000 15.22%
3328.20/3336.97 c 3337 20476 11004 1 -46.0000 -53.0000 15.22%
3333.30/3342.05 c 3342 20549 11055 1 -46.0000 -53.0000 15.22%
3341.97/3350.79 c 3351 20570 11070 1 -46.0000 -53.0000 15.22%
3351.94/3360.70 c 3361 20635 11111 1 -46.0000 -53.0000 15.22%
3363.24/3372.04 c 3372 20649 11123 1 -46.0000 -53.0000 15.22%
3368.72/3377.52 c 3378 20674 11134 1 -46.0000 -53.0000 15.22%
3376.10/3385.01 c 3385 20703 11153 1 -46.0000 -53.0000 15.22%
3385.67/3394.59 c 3395 20720 11162 1 -46.0000 -53.0000 15.22%
3393.85/3402.74 c 3403 20769 11185 1 -46.0000 -53.0000 15.22%
3401.63/3410.58 c 3411 20783 11195 1 -46.0000 -53.0000 15.22%
3408.13/3417.04 c 3417 20809 11207 1 -46.0000 -53.0000 15.22%
3413.70/3422.65 c 3423 20882 11258 1 -46.0000 -53.0000 15.22%
3423.10/3432.09 c 3432 20926 11282 1 -46.0000 -53.0000 15.22%
3428.67/3437.64 c 3438 20981 11307 1 -46.0000 -53.0000 15.22%
3436.17/3445.16 c 3445 21008 11328 1 -46.0000 -53.0000 15.22%
3442.73/3451.71 c 3452 21025 11335 1 -46.0000 -53.0000 15.22%
3448.83/3457.85 c 3458 21040 11348 1 -46.0000 -53.0000 15.22%
3455.21/3464.22 c 3464 21049 11351 1 -46.0000 -53.0000 15.22%
3461.29/3470.37 c 3470 21067 11361 1 -46.0000 -53.0000 15.22%
3467.48/3476.57 c 3477 21075 11365 1 -46.0000 -53.0000 15.22%
3474.87/3483.96 c 3484 21105 11385 1 -46.0000 -53.0000 15.22%
3482.96/3492.07 c 3492 21154 11418 1 -46.0000 -53.0000 15.22%
3492.03/3501.16 c 3501 21190 11438 1 -46.0000 -53.0000 15.22%
3497.42/3506.57 c 3507 21228 11460 1 -46.0000 -53.0000 15.22%
3504.30/3513.41 c 3513 21272 11486 1 -46.0000 -53.0000 15.22%
3511.99/3521.13 c 3521 21282 11488 1 -46.0000 -53.0000 15.22%
3519.87/3529.02 c 3529 21340 11514 1 -46.0000 -53.0000 15.22%
3526.85/3536.02 c 3536 21354 11520 1 -46.0000 -53.0000 15.22%
3533.84/3543.10 c 3543 21409 11553 1 -46.0000 -53.0000 15.22%
3539.32/3548.59 c 3549 21444 11572 1 -46.0000 -53.0000 15.22%
3545.00/3554.25 c 3554 21492 11602 1 -46.0000 -53.0000 15.22%
3550.59/3559.87 c 3560 21560 11638 1 -46.0000 -53.0000 15.22%
3555.89/3565.15 c 3565 21593 11661 1 -46.0000 -53.0000 15.22%
3561.97/3571.23 c 3571 21613 11675 1 -46.0000 -53.0000 15.22%
3567.36/3576.66 c 3577 21621 11679 1 -46.0000 -53.0000 15.22%
3572.34/3581.69 c 3582 21661 11709 1 -46.0000 -53.0000 15.22%
3584.51/3593.80 c 3594 21733 11745 1 -46.0000 -53.0000 15.22%
3590.59/3600.01 c 3600 21742 11746 0 -46.0000 -53.0000 15.22%
3590.99/3600.38 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.99/3600.38 c Total Time : 3600.38
3590.99/3600.38 c solving : 3600.38
3590.99/3600.38 c presolving : 2.23 (included in solving)
3590.99/3600.38 c B&B Tree :
3590.99/3600.38 c nodes (total) : 1
3590.99/3600.38 c Solution :
3590.99/3600.38 c Solutions found : 6
3590.99/3600.38 c Primal Bound : -4.60000000000000e+01
3590.99/3600.38 c Dual Bound : -5.30000000000000e+01
3590.99/3600.38 c Gap : 15.21739 %
3590.99/3600.38 c * Warning: final gap: 1.52174e-01 is greater than SCIPepsilon: 1.00000e-09
3591.10/3600.42 o -46
3591.10/3600.42 s SATISFIABLE
3591.10/3600.42 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3591.10/3600.42 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3591.10/3600.42 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3591.10/3600.42 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3591.10/3600.42 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3591.10/3600.42 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3591.10/3600.42 v -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3591.10/3600.42 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
3591.10/3600.42 v -x187 -x188 -x189 -x190 x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3591.10/3600.42 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229
3591.10/3600.42 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3591.10/3600.42 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
3591.10/3600.42 v -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
3591.10/3600.42 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
3591.10/3600.42 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
3591.10/3600.42 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354
3591.10/3600.42 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3591.10/3600.42 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3591.10/3600.42 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3591.10/3600.42 v -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3591.10/3600.42 v -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3591.10/3600.42 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3591.10/3600.42 v -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3591.10/3600.42 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522
3591.10/3600.42 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3591.10/3600.42 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3591.10/3600.42 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3591.10/3600.42 v -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
3591.10/3600.42 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627
3591.10/3600.42 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
3591.10/3600.42 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668
3591.10/3600.42 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
3591.29/3600.63 v x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
3591.29/3600.63 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
3591.29/3600.63 v -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
3591.29/3600.63 v -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
3591.29/3600.63 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
3591.29/3600.63 v -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
3591.29/3600.63 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3591.29/3600.63 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
3591.29/3600.63 v -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878
3591.29/3600.63 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899
3591.29/3600.63 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3591.29/3600.63 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
3591.29/3600.63 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962
3591.29/3600.63 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3591.29/3600.63 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003
3591.29/3600.63 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021
3591.29/3600.63 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
3591.29/3600.63 v -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
3591.29/3600.63 v -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
3591.29/3600.63 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093
3591.29/3600.63 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
3591.29/3600.63 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3591.29/3600.63 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3591.29/3600.63 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
3591.29/3600.63 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
3591.29/3600.63 v x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
3591.29/3600.63 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
3591.29/3600.63 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
3591.29/3600.63 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
3591.29/3600.63 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62352 MiB free)
memory of node 1: 64510 MiB (62980 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434717-1721056066/watcher-4434717-1721056066 -o /tmp/evaluation-result-4434717-1721056066/solver-4434717-1721056066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434717-1721056066.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=800240, runsolver pid=800237
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.58 2.43 2.90 5/252 800241
/proc/meminfo: memFree=128320392/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=38304 memory=26704 CPUtime=0.1 cores=4,6
/proc/800240/stat : 800240 (fscip) R 800237 800240 795049 0 -1 4194304 4593 0 0 0 9 1 0 0 20 0 1 0 157763316 39223296 6676 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 9576 6676 2318 3032 0 5976 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38304 KiB
Current children cumulated memory: 26704 KiB
[startup+0.213437 s]*
/proc/loadavg: 1.58 2.43 2.90 5/252 800241
/proc/meminfo: memFree=128300296/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=52844 memory=40204 CPUtime=0.21 cores=4,6
/proc/800240/stat : 800240 (fscip) R 800237 800240 795049 0 -1 4194304 7945 0 0 0 20 1 0 0 20 0 1 0 157763316 54112256 10051 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 13211 10051 2318 3032 0 9611 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52844 KiB
Current children cumulated memory: 40204 KiB
[startup+0.313284 s]*
/proc/loadavg: 1.58 2.43 2.90 5/252 800241
/proc/meminfo: memFree=128282684/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=66312 memory=53780 CPUtime=0.31 cores=4,6
/proc/800240/stat : 800240 (fscip) R 800237 800240 795049 0 -1 4194304 11383 0 0 0 29 2 0 0 20 0 1 0 157763316 67903488 13445 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 16578 13445 2318 3032 0 12978 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 53780 KiB
[startup+0.700347 s]
/proc/loadavg: 1.58 2.43 2.90 5/252 800241
/proc/meminfo: memFree=128295640/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=145228 memory=132904 CPUtime=0.68 cores=4,6
/proc/800240/stat : 800240 (fscip) R 800237 800240 795049 0 -1 4194304 31524 0 0 0 61 7 0 0 20 0 1 0 157763316 148713472 33226 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 36307 33226 2606 3032 0 32707 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145228 KiB
Current children cumulated memory: 132904 KiB
[startup+1.50033 s]
/proc/loadavg: 1.58 2.43 2.90 5/244 800277
/proc/meminfo: memFree=128284340/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=175124 memory=161636 CPUtime=1.48 cores=4,6
/proc/800240/stat : 800240 (fscip) R 800237 800240 795049 0 -1 4194304 54128 0 0 0 135 13 0 0 20 0 1 0 157763316 179326976 40409 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 43781 40409 2686 3032 0 40181 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 175124 KiB
Current children cumulated memory: 161636 KiB
[startup+3.11304 s]
/proc/loadavg: 1.77 2.46 2.90 5/244 800324
/proc/meminfo: memFree=127870888/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=559748 memory=443924 CPUtime=3.09 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 99331 0 0 0 284 25 0 0 20 0 3 0 157763316 573181952 110981 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 139937 110981 2782 3032 0 120038 0
[pid=800240/tid=800302] ppid=800237 vsize=559748 memory=352784 CPUtime=0.2 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 16342 0 0 0 17 3 0 0 20 0 3 0 157763594 573181952 110981 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 559748 KiB
Current children cumulated memory: 443924 KiB
[startup+6.30039 s]
/proc/loadavg: 1.77 2.46 2.90 5/254 800341
/proc/meminfo: memFree=126609424/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=885012 memory=780048 CPUtime=6.26 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 171015 0 0 0 581 45 0 0 20 0 3 0 157763316 906252288 195012 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 221253 195012 2782 3032 0 209523 0
[pid=800240/tid=800302] ppid=800237 vsize=885012 memory=-6514576082130352997 CPUtime=3.36 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 88018 0 0 0 313 23 0 0 20 0 3 0 157763594 906252288 195012 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=885012 memory=686080 CPUtime=0 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 157763623 906252288 195012 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 885012 KiB
Current children cumulated memory: 780048 KiB
[startup+12.7003 s]
/proc/loadavg: 1.95 2.49 2.91 5/254 800341
/proc/meminfo: memFree=126070408/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1016084 memory=850792 CPUtime=12.64 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 230595 0 0 0 1215 49 0 0 20 0 3 0 157763316 1040470016 212698 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 254021 212698 2958 3032 0 233268 0
[pid=800240/tid=800302] ppid=800237 vsize=1016084 memory=-6514576082130352997 CPUtime=9.75 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 147314 0 0 0 948 27 0 0 20 0 3 0 157763594 1040470016 212698 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=1016084 memory=846672 CPUtime=0 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 157763623 1040470016 212698 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1016084 KiB
Current children cumulated memory: 850792 KiB
[startup+25.5004 s]
/proc/loadavg: 2.41 2.56 2.93 5/254 800342
/proc/meminfo: memFree=125957712/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1016084 memory=850948 CPUtime=25.4 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 285146 0 0 0 2488 52 0 0 20 0 3 0 157763316 1040470016 212737 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 254021 212737 2958 3032 0 237655 0
[pid=800240/tid=800302] ppid=800237 vsize=1016084 memory=11408 CPUtime=22.51 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 201855 0 0 0 2221 30 0 0 20 0 3 0 157763594 1040470016 212737 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=1016084 memory=4460 CPUtime=0 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 157763623 1040470016 212737 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1016084 KiB
Current children cumulated memory: 850948 KiB
[startup+51.113 s]
/proc/loadavg: 3.13 2.72 2.97 5/254 800347
/proc/meminfo: memFree=125591224/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1261856 memory=969788 CPUtime=50.93 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 397047 0 0 0 5031 62 0 0 20 0 3 0 157763316 1292140544 242447 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 315464 242447 2958 3032 0 302508 0
[pid=800240/tid=800302] ppid=800237 vsize=1261856 memory=969788 CPUtime=48.03 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 313468 0 0 0 4763 40 0 0 20 0 3 0 157763594 1292140544 242447 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=1261856 memory=858684 CPUtime=0 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 157763623 1292140544 242447 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1261856 KiB
Current children cumulated memory: 969788 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.92 3.03 5/254 800404
/proc/meminfo: memFree=125214868/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1327392 memory=973672 CPUtime=101.96 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 487172 0 0 0 10128 68 0 0 20 0 3 0 157763316 1359249408 243418 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 331848 243418 2958 3032 0 324696 0
[pid=800240/tid=800302] ppid=800237 vsize=1327392 memory=40676 CPUtime=99.06 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 403250 0 0 0 9860 46 0 0 20 0 3 0 157763594 1359249408 243418 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=1327392 memory=972500 CPUtime=0 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 157763623 1359249408 243418 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1327392 KiB
Current children cumulated memory: 973672 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.17 3.11 5/256 800418
/proc/meminfo: memFree=124990128/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1458464 memory=1066928 CPUtime=161.75 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 636440 0 0 0 16092 83 0 0 20 0 3 0 157763316 1493467136 266732 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 364616 266732 2958 3032 0 345613 0
[pid=800240/tid=800302] ppid=800237 vsize=1458464 memory=1025136 CPUtime=158.84 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 552467 0 0 0 15823 61 0 0 20 0 3 0 157763594 1493467136 266732 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=1458464 memory=40676 CPUtime=0 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 157763623 1493467136 266732 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1458464 KiB
Current children cumulated memory: 1066928 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.37 3.18 5/256 800429
/proc/meminfo: memFree=124807532/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1458464 memory=1104912 CPUtime=221.56 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 711196 0 0 0 22067 89 0 0 20 0 3 0 157763316 1493467136 276228 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 364616 276228 2958 3032 0 351553 0
[pid=800240/tid=800302] ppid=800237 vsize=1458464 memory=11408 CPUtime=218.64 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 627202 0 0 0 21798 66 0 0 20 0 3 0 157763594 1493467136 276228 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=1458464 memory=1066932 CPUtime=0 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 157763623 1493467136 276228 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1458464 KiB
Current children cumulated memory: 1104912 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.50 3.24 5/256 800440
/proc/meminfo: memFree=124607912/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1524000 memory=1163452 CPUtime=281.37 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 782867 0 0 0 28042 95 0 0 20 0 3 0 157763316 1560576000 290863 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 381000 290863 2958 3032 0 367730 0
################
# More data... #
################
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/253 802190
/proc/meminfo: memFree=119384752/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3385656 memory=2424304 CPUtime=3393.45 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 3631719 0 0 0 339020 325 0 0 20 0 3 0 157763316 3466911744 606076 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 846414 606076 3278 3032 0 820273 0
[pid=800240/tid=800302] ppid=800237 vsize=3385656 memory=2424304 CPUtime=3390.36 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3546770 0 0 0 338743 293 0 0 20 0 3 0 157763594 3466911744 606076 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3385656 memory=40676 CPUtime=0.04 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 157 0 0 0 0 4 0 0 20 0 3 0 157763623 3466911744 606076 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 3385656 KiB
Current children cumulated memory: 2424304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 802202
/proc/meminfo: memFree=119341404/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3423072 memory=2450340 CPUtime=3453.32 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 3809340 0 0 0 344997 335 0 0 20 0 3 0 157763316 3505225728 612585 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 855768 612585 3278 3032 0 829627 0
[pid=800240/tid=800302] ppid=800237 vsize=3423072 memory=2424304 CPUtime=3450.22 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3724375 0 0 0 344719 303 0 0 20 0 3 0 157763594 3505225728 612585 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3423072 memory=40676 CPUtime=0.04 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 158 0 0 0 0 4 0 0 20 0 3 0 157763623 3505225728 612585 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 3423072 KiB
Current children cumulated memory: 2450340 KiB
[startup+3522.3 s]
/proc/loadavg: 4.30 4.15 4.10 5/250 802213
/proc/meminfo: memFree=119247652/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3423072 memory=2450340 CPUtime=3513.18 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 3819680 0 0 0 350981 337 0 0 20 0 3 0 157763316 3505225728 612585 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 855768 612585 3278 3032 0 829627 0
[pid=800240/tid=800302] ppid=800237 vsize=3423072 memory=2450340 CPUtime=3510.08 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3734700 0 0 0 350703 305 0 0 20 0 3 0 157763594 3505225728 612585 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3423072 memory=2450340 CPUtime=0.04 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 161 0 0 0 0 4 0 0 20 0 3 0 157763623 3505225728 612585 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 3423072 KiB
Current children cumulated memory: 2450340 KiB
[startup+3582.3 s]
/proc/loadavg: 4.59 4.28 4.15 5/250 802223
/proc/meminfo: memFree=119180020/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3573.04 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 4037862 0 0 0 356953 351 0 0 20 0 3 0 157763316 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 875164 616033 3278 3032 0 857166 0
[pid=800240/tid=800302] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3569.94 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3952865 0 0 0 356675 319 0 0 20 0 3 0 157763594 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3500656 memory=5620 CPUtime=0.05 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 157763623 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 3500656 KiB
Current children cumulated memory: 2464132 KiB
[startup+3600.66 s]
# the end of solver process 800240 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.75 s, system=3.60453 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.54 4.27 4.15 5/250 802223
/proc/meminfo: memFree=119179880/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3574.75 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 4038133 0 0 0 357124 351 0 0 20 0 3 0 157763316 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 875164 616033 3278 3032 0 857166 0
[pid=800240/tid=800302] ppid=800237 vsize=3500656 memory=6720664367701965423 CPUtime=3571.65 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3953136 0 0 0 356846 319 0 0 20 0 3 0 157763594 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3500656 memory=-4421386504838080871 CPUtime=0.05 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 157763623 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 3500656 KiB
Current children cumulated memory: 2464132 KiB
[startup+3590.4 s]
/proc/loadavg: 4.50 4.27 4.15 5/250 802224
/proc/meminfo: memFree=119152140/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3581.12 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 4038393 0 0 0 357761 351 0 0 20 0 3 0 157763316 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 875164 616033 3278 3032 0 857166 0
[pid=800240/tid=800302] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3578.02 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3953396 0 0 0 357483 319 0 0 20 0 3 0 157763594 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3500656 memory=2464132 CPUtime=0.05 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 157763623 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3581.12 s
Current children cumulated vsize: 3500656 KiB
Current children cumulated memory: 2464132 KiB
[startup+3596.8 s]
/proc/loadavg: 4.46 4.26 4.15 5/250 802226
/proc/meminfo: memFree=119151660/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3587.5 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 4040108 0 0 0 358399 351 0 0 20 0 3 0 157763316 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 875164 616033 3278 3032 0 857166 0
[pid=800240/tid=800302] ppid=800237 vsize=3500656 memory=11408 CPUtime=3584.4 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3955111 0 0 0 358121 319 0 0 20 0 3 0 157763594 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3500656 memory=2464132 CPUtime=0.05 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 157763623 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 3500656 KiB
Current children cumulated memory: 2464132 KiB
[startup+3598.4 s]
/proc/loadavg: 4.46 4.26 4.15 5/250 802226
/proc/meminfo: memFree=119151416/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3589.09 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 4040108 0 0 0 358558 351 0 0 20 0 3 0 157763316 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 875164 616033 3278 3032 0 857166 0
[pid=800240/tid=800302] ppid=800237 vsize=3500656 memory=6720667640450267752 CPUtime=3585.99 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3955111 0 0 0 358280 319 0 0 20 0 3 0 157763594 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3500656 memory=2464132 CPUtime=0.05 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 157763623 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3589.09 s
Current children cumulated vsize: 3500656 KiB
Current children cumulated memory: 2464132 KiB
[startup+3600 s]*
/proc/loadavg: 4.58 4.29 4.16 5/250 802226
/proc/meminfo: memFree=119151344/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=3500656 memory=2464132 CPUtime=3590.7 cores=4,6
/proc/800240/stat : 800240 (fscip) S 800237 800240 795049 0 -1 1077936128 4040999 0 0 0 358719 351 0 0 20 0 3 0 157763316 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 875164 616033 3278 3032 0 857166 0
[pid=800240/tid=800302] ppid=800237 vsize=3500656 memory=6720664367701965423 CPUtime=3587.6 cores=4,6
/proc/800240/task/800302/stat : 800302 (fscip) R 800237 800240 795049 0 -1 4194368 3956010 0 0 0 358441 319 0 0 20 0 3 0 157763594 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
[pid=800240/tid=800325] ppid=800237 vsize=3500656 memory=-4421386504838080871 CPUtime=0.05 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 157763623 3584671744 616033 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 3500656 KiB
Current children cumulated memory: 2464132 KiB
[startup+3600.41 s]
/proc/loadavg: 4.58 4.29 4.16 5/250 802226
/proc/meminfo: memFree=119151344/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1608324 memory=1210320 CPUtime=3591.1 cores=4,6
/proc/800240/stat : 800240 (fscip) R 800237 800240 795049 0 -1 4194304 4074602 0 0 0 358754 356 0 0 20 0 2 0 157763316 1646923776 302580 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 402081 302580 3278 3032 0 390188 0
[pid=800240/tid=800325] ppid=800237 vsize=1608324 memory=12724 CPUtime=0.05 cores=4,6
/proc/800240/task/800325/stat : 800325 (fscip) S 800237 800240 795049 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 2 0 157763623 1646923776 302580 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
Current children cumulated CPU time: 3591.1 s
Current children cumulated vsize: 1608324 KiB
Current children cumulated memory: 1210320 KiB
[startup+3600.6 s]
/proc/loadavg: 4.58 4.29 4.16 5/250 802226
/proc/meminfo: memFree=119151344/131655788 swapFree=131071996/131071996
[pid=800240] ppid=800237 vsize=1581844 memory=1184120 CPUtime=3591.29 cores=4,6
/proc/800240/stat : 800240 (fscip) R 800237 800240 795049 0 -1 4194304 4080113 0 0 0 358772 357 0 0 20 0 1 0 157763316 1619808256 296030 134679101440 4194304 16613245 140724508769024 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35389440 140724508771349 140724508771465 140724508771465 140724508778480 0
/proc/800240/statm: 395461 296030 3278 3032 0 383568 0
Current children cumulated CPU time: 3591.29 s
Current children cumulated vsize: 1581844 KiB
Current children cumulated memory: 1184120 KiB
Child status: 0
Real time (s): 3600.66
CPU time (s): 3591.36
CPU user time (s): 3587.75
CPU system time (s): 3.60453
CPU usage (%): 99.7416
Max. virtual memory (cumulated for all children) (KiB): 3566192
Max. memory (cumulated for all children) (KiB): 2523236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.75
system time used= 3.60453
maximum resident set size= 2524144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4080488
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= 6812
involuntary context switches= 2763
# summary of solver processes directly reported to runsolver:
# pid: 800240
# total CPU time (s): 3591.36
# total CPU user time (s): 3587.75
# total CPU system time (s): 3.60453
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0816 second user time and 35.1118 second system time
The end
Begin job on nodeC007 at 2024-07-15 17:07:59
IDJOB=4434717
IDBENCH=146672
IDSOLVER=3064
FILE ID=nodeC007/4434717-1721056066
RUNJOBID= nodeC007-1721056075-800073
SLURM_JOB_ID= 7505467
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-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-4434717-1721056066/watcher-4434717-1721056066 -o /tmp/evaluation-result-4434717-1721056066/solver-4434717-1721056066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434717-1721056066.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=670910537
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 : 1912.312
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.25
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 : 3424.022
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.30
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.224
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.25
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 : 1812.646
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.30
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 : 3490.840
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.25
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 : 3668.728
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.30
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.130
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.25
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.258
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128346384 kB
MemAvailable: 129501164 kB
Buffers: 367768 kB
Cached: 1619676 kB
SwapCached: 0 kB
Active: 612540 kB
Inactive: 2152580 kB
Active(anon): 1460 kB
Inactive(anon): 813928 kB
Active(file): 611080 kB
Inactive(file): 1338652 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115540 kB
Writeback: 0 kB
AnonPages: 777868 kB
Mapped: 138504 kB
Shmem: 37704 kB
KReclaimable: 90156 kB
Slab: 185804 kB
SReclaimable: 90156 kB
SUnreclaim: 95648 kB
KernelStack: 4032 kB
PageTables: 10516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 994716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC007 at 2024-07-15 18:08:00