0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22732800, getVmSize() = 22732800, SCIPgetMemUsed() = 1007990, SCIPgetMemTotal() = 1273046, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15813290, getVmSize() = 24707072, SCIPgetMemUsed() = 1159738, SCIPgetMemTotal() = 2058226, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4447760-1721361233
0.00/0.00 c Variables : 101 (101 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 212
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 101 (101 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 212
0.00/0.00 c Constraints : Number
0.00/0.00 c logicor : 212
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.17/5.20 c 5 5370 2029 1 - 0.0000 -
10.15/10.24 c 10 17717 1454 1 - 0.0000 -
15.12/15.29 c 15 32978 2396 1 - 0.0000 -
20.21/20.33 c 20 52541 3393 1 - 0.0000 -
25.19/25.38 c 25 71507 4099 1 - 0.0000 -
30.26/30.43 c 30 90103 4887 1 - 0.0000 -
35.24/35.48 c 35 109245 5508 1 - 0.0000 -
40.32/40.53 c 41 127477 5988 1 - 0.0000 -
45.30/45.58 c 46 145325 6469 1 - 0.0000 -
50.37/50.63 c 51 162570 7251 1 - 0.0000 -
55.35/55.68 c 56 179666 7821 1 - 0.0000 -
60.43/60.73 c 61 196662 8296 1 - 0.0000 -
65.41/65.77 c 66 213108 8427 1 - 0.0000 -
70.49/70.82 c 71 227319 11114 1 - 0.0000 -
75.47/75.87 c 76 241412 13692 1 - 0.0000 -
80.54/80.92 c 81 254796 16157 1 - 0.0000 -
85.52/85.97 c 86 268207 17956 1 - 0.0000 -
90.60/91.02 c 91 281414 19843 1 - 0.0000 -
95.58/96.07 c 96 293958 21865 1 - 0.0000 -
100.66/101.12 c 101 306984 23072 1 - 0.0000 -
105.64/106.17 c 106 319473 24019 1 - 0.0000 -
110.71/111.22 c 111 330932 25215 1 - 0.0000 -
115.69/116.27 c 116 342755 26372 1 - 0.0000 -
120.77/121.32 c 121 353983 28359 1 - 0.0000 -
125.75/126.37 c 126 364893 29604 1 - 0.0000 -
130.83/131.42 c 131 375791 31050 1 - 0.0000 -
135.80/136.47 c 136 386863 31790 1 - 0.0000 -
140.88/141.52 c 142 397865 33011 1 - 0.0000 -
145.86/146.57 c 147 409348 34227 1 - 0.0000 -
150.95/151.62 c 152 420440 35004 1 - 0.0000 -
155.92/156.67 c 157 432175 35915 1 - 0.0000 -
161.01/161.72 c 162 443581 36995 1 - 0.0000 -
165.98/166.77 c 167 454814 38336 1 - 0.0000 -
171.07/171.82 c 172 466420 39455 1 - 0.0000 -
176.04/176.87 c 177 478041 40549 1 - 0.0000 -
181.12/181.92 c 182 489178 41703 1 - 0.0000 -
186.11/186.97 c 187 500875 42336 1 - 0.0000 -
191.20/192.02 c 192 512805 43224 1 - 0.0000 -
196.18/197.07 c 197 524404 43589 1 - 0.0000 -
201.27/202.12 c 202 535788 44403 1 - 0.0000 -
206.25/207.17 c 207 547162 44969 1 - 0.0000 -
211.32/212.22 c 212 558943 45655 1 - 0.0000 -
216.31/217.27 c 217 570566 46108 1 - 0.0000 -
221.39/222.32 c 222 581882 46558 1 - 0.0000 -
226.38/227.37 c 227 593108 47059 1 - 0.0000 -
231.46/232.42 c 232 604204 47458 1 - 0.0000 -
236.44/237.47 c 237 614974 48229 1 - 0.0000 -
241.53/242.52 c 243 625488 49265 1 - 0.0000 -
246.51/247.57 c 248 636146 49823 1 - 0.0000 -
251.59/252.62 c 253 646813 50401 1 - 0.0000 -
256.58/257.67 c 258 657134 51111 1 - 0.0000 -
261.66/262.72 c 263 667428 51272 1 - 0.0000 -
266.65/267.77 c 268 677968 51682 1 - 0.0000 -
271.73/272.82 c 273 688240 52243 1 - 0.0000 -
276.71/277.87 c 278 698415 52609 1 - 0.0000 -
281.79/282.92 c 283 707971 53164 1 - 0.0000 -
286.78/287.97 c 288 717854 53501 1 - 0.0000 -
291.87/293.02 c 293 727472 53917 1 - 0.0000 -
296.85/298.07 c 298 736889 54672 1 - 0.0000 -
301.93/303.12 c 303 746338 55043 1 - 0.0000 -
306.91/308.17 c 308 755678 55555 1 - 0.0000 -
311.99/313.22 c 313 764639 56366 1 - 0.0000 -
316.98/318.27 c 318 773509 57147 1 - 0.0000 -
322.06/323.32 c 323 782538 57347 1 - 0.0000 -
327.04/328.37 c 328 791805 57672 1 - 0.0000 -
332.12/333.42 c 333 800694 58046 1 - 0.0000 -
337.10/338.47 c 338 809627 58216 1 - 0.0000 -
342.19/343.52 c 344 818410 58734 1 - 0.0000 -
347.18/348.57 c 349 826969 58818 1 - 0.0000 -
352.25/353.62 c 354 835393 59136 1 - 0.0000 -
357.24/358.67 c 359 843764 59357 1 - 0.0000 -
362.32/363.72 c 364 851938 59972 1 - 0.0000 -
367.30/368.77 c 369 860452 60115 1 - 0.0000 -
372.38/373.82 c 374 868938 60577 1 - 0.0000 -
377.37/378.87 c 379 877425 60880 1 - 0.0000 -
382.45/383.92 c 384 885434 61320 1 - 0.0000 -
387.44/388.97 c 389 893551 61720 1 - 0.0000 -
392.52/394.02 c 394 901539 62048 1 - 0.0000 -
397.51/399.07 c 399 909412 62396 1 - 0.0000 -
402.59/404.12 c 404 916839 62475 1 - 0.0000 -
407.58/409.17 c 409 924226 62767 1 - 0.0000 -
412.66/414.22 c 414 931638 63085 1 - 0.0000 -
417.64/419.27 c 419 939429 63274 1 - 0.0000 -
422.72/424.33 c 424 946819 63653 1 - 0.0000 -
427.70/429.38 c 429 954177 63791 1 - 0.0000 -
432.79/434.43 c 434 961600 63944 1 - 0.0000 -
437.77/439.48 c 439 968913 64103 1 - 0.0000 -
442.85/444.53 c 445 975826 64292 1 - 0.0000 -
447.84/449.58 c 450 982700 64453 1 - 0.0000 -
452.92/454.63 c 455 990193 64894 1 - 0.0000 -
457.90/459.68 c 460 997604 65139 1 - 0.0000 -
462.98/464.73 c 465 1004865 65527 1 - 0.0000 -
467.97/469.78 c 470 1012172 65824 1 - 0.0000 -
473.05/474.83 c 475 1019456 65929 1 - 0.0000 -
478.04/479.88 c 480 1026151 66035 1 - 0.0000 -
483.12/484.93 c 485 1032656 66217 1 - 0.0000 -
488.10/489.98 c 490 1039285 66289 1 - 0.0000 -
493.20/495.03 c 495 1045601 66436 1 - 0.0000 -
498.18/500.08 c 500 1052305 66649 1 - 0.0000 -
503.26/505.13 c 505 1058587 66731 1 - 0.0000 -
508.24/510.18 c 510 1064506 67011 1 - 0.0000 -
513.32/515.22 c 515 1070658 67624 1 - 0.0000 -
518.30/520.27 c 520 1077004 68143 1 - 0.0000 -
523.38/525.32 c 525 1083304 68300 1 - 0.0000 -
528.37/530.37 c 530 1088850 68284 1 - 0.0000 -
533.45/535.43 c 535 1094640 68348 1 - 0.0000 -
538.43/540.47 c 540 1100390 68575 1 - 0.0000 -
543.52/545.52 c 546 1105806 68611 1 - 0.0000 -
548.51/550.57 c 551 1111247 69263 1 - 0.0000 -
553.58/555.62 c 556 1116718 69814 1 - 0.0000 -
558.57/560.67 c 561 1121942 70107 1 - 0.0000 -
563.66/565.72 c 566 1127526 70281 1 - 0.0000 -
568.64/570.77 c 571 1133153 70417 1 - 0.0000 -
573.72/575.82 c 576 1138460 70514 1 - 0.0000 -
578.70/580.88 c 581 1143860 70552 1 - 0.0000 -
583.79/585.92 c 586 1149097 70709 1 - 0.0000 -
588.78/590.97 c 591 1154478 70803 1 - 0.0000 -
593.87/596.02 c 596 1159457 70839 1 - 0.0000 -
598.85/601.07 c 601 1164647 70968 1 - 0.0000 -
603.93/606.12 c 606 1169921 71148 1 - 0.0000 -
608.91/611.17 c 611 1174893 71210 1 - 0.0000 -
613.99/616.23 c 616 1179553 71704 1 - 0.0000 -
618.98/621.28 c 621 1184515 71883 1 - 0.0000 -
624.07/626.33 c 626 1189572 71963 1 - 0.0000 -
629.05/631.38 c 631 1194776 72012 1 - 0.0000 -
634.13/636.43 c 636 1199863 71994 1 - 0.0000 -
639.12/641.48 c 641 1204599 72610 1 - 0.0000 -
644.20/646.53 c 647 1209878 73104 1 - 0.0000 -
649.19/651.58 c 652 1215137 73504 1 - 0.0000 -
654.27/656.63 c 657 1219823 73529 1 - 0.0000 -
659.25/661.68 c 662 1224776 73594 1 - 0.0000 -
664.34/666.73 c 667 1229922 73715 1 - 0.0000 -
669.32/671.78 c 672 1234597 73717 1 - 0.0000 -
674.41/676.83 c 677 1239133 73696 1 - 0.0000 -
679.39/681.88 c 682 1243842 73762 1 - 0.0000 -
684.48/686.93 c 687 1248708 73778 1 - 0.0000 -
689.45/691.98 c 692 1253300 73795 1 - 0.0000 -
694.54/697.03 c 697 1257922 73901 1 - 0.0000 -
699.53/702.08 c 702 1262223 74215 1 - 0.0000 -
704.62/707.13 c 707 1266590 74133 1 - 0.0000 -
709.60/712.18 c 712 1271339 74148 1 - 0.0000 -
714.68/717.24 c 717 1275455 74131 1 - 0.0000 -
719.66/722.28 c 722 1280285 74357 1 - 0.0000 -
724.75/727.33 c 727 1284786 74525 1 - 0.0000 -
729.73/732.38 c 732 1289172 74523 1 - 0.0000 -
734.81/737.43 c 737 1293397 74580 1 - 0.0000 -
739.80/742.48 c 742 1297809 74725 1 - 0.0000 -
744.87/747.53 c 748 1301927 74769 1 - 0.0000 -
749.86/752.58 c 753 1305976 74903 1 - 0.0000 -
754.95/757.63 c 758 1309959 75090 1 - 0.0000 -
759.93/762.68 c 763 1313985 75192 1 - 0.0000 -
765.01/767.73 c 768 1318374 75621 1 - 0.0000 -
770.00/772.79 c 773 1322651 75879 1 - 0.0000 -
775.08/777.83 c 778 1326603 76220 1 - 0.0000 -
780.06/782.88 c 783 1330564 76398 1 - 0.0000 -
785.15/787.93 c 788 1334809 76484 1 - 0.0000 -
790.14/792.98 c 793 1338600 76462 1 - 0.0000 -
795.23/798.03 c 798 1342309 76596 1 - 0.0000 -
800.21/803.08 c 803 1345974 76688 1 - 0.0000 -
805.29/808.13 c 808 1349782 76648 1 - 0.0000 -
810.28/813.18 c 813 1353671 76837 1 - 0.0000 -
815.36/818.23 c 818 1357175 77077 1 - 0.0000 -
820.34/823.28 c 823 1361048 77067 1 - 0.0000 -
825.42/828.33 c 828 1364947 77239 1 - 0.0000 -
830.42/833.38 c 833 1368700 77203 1 - 0.0000 -
835.49/838.43 c 838 1372358 77305 1 - 0.0000 -
840.48/843.48 c 843 1375885 77406 1 - 0.0000 -
845.57/848.54 c 849 1379843 77490 1 - 0.0000 -
850.55/853.58 c 854 1383723 77504 1 - 0.0000 -
855.64/858.63 c 859 1387568 77533 1 - 0.0000 -
860.62/863.68 c 864 1391248 77943 1 - 0.0000 -
865.70/868.73 c 869 1394676 78094 1 - 0.0000 -
870.68/873.78 c 874 1398229 78231 1 - 0.0000 -
875.77/878.83 c 879 1401920 78369 1 - 0.0000 -
880.76/883.88 c 884 1405513 78357 1 - 0.0000 -
885.84/888.93 c 889 1409282 78307 1 - 0.0000 -
890.83/893.98 c 894 1412588 78216 1 - 0.0000 -
895.91/899.03 c 899 1416271 78213 1 - 0.0000 -
900.90/904.08 c 904 1419933 78292 1 - 0.0000 -
905.98/909.13 c 909 1423382 78551 1 - 0.0000 -
910.97/914.18 c 914 1426961 78507 1 - 0.0000 -
916.05/919.23 c 919 1430469 78589 1 - 0.0000 -
921.04/924.28 c 924 1433742 78496 1 - 0.0000 -
926.12/929.33 c 929 1437098 78496 1 - 0.0000 -
931.10/934.38 c 934 1441109 78592 1 - 0.0000 -
936.19/939.43 c 939 1444591 78673 1 - 0.0000 -
941.17/944.48 c 944 1447981 78797 1 - 0.0000 -
946.25/949.53 c 950 1451602 78811 1 - 0.0000 -
951.34/954.60 c 955 1454760 78961 1 - 0.0000 -
956.32/959.64 c 960 1457914 79069 1 - 0.0000 -
961.41/964.70 c 965 1461164 79103 1 - 0.0000 -
966.39/969.74 c 970 1464555 79265 1 - 0.0000 -
971.38/974.79 c 975 1467940 79459 1 - 0.0000 -
976.46/979.84 c 980 1471419 79505 1 - 0.0000 -
981.45/984.89 c 985 1474627 79567 1 - 0.0000 -
986.53/989.94 c 990 1478120 79607 1 - 0.0000 -
991.52/994.99 c 995 1481176 79611 1 - 0.0000 -
996.61/1000.04 c 1000 1484335 79612 1 - 0.0000 -
1001.59/1005.10 c 1005 1487743 79624 1 - 0.0000 -
1006.68/1010.14 c 1010 1491039 79540 1 - 0.0000 -
1011.66/1015.19 c 1015 1494205 79681 1 - 0.0000 -
1016.74/1020.24 c 1020 1497534 79695 1 - 0.0000 -
1021.73/1025.29 c 1025 1500532 79798 1 - 0.0000 -
1026.81/1030.34 c 1030 1503674 79854 1 - 0.0000 -
1031.80/1035.39 c 1035 1506854 79923 1 - 0.0000 -
1036.88/1040.44 c 1040 1510176 79897 1 - 0.0000 -
1041.87/1045.49 c 1046 1513410 79913 1 - 0.0000 -
1046.95/1050.54 c 1051 1516354 79958 1 - 0.0000 -
1051.93/1055.59 c 1056 1519744 79954 1 - 0.0000 -
1057.02/1060.64 c 1061 1523063 79991 1 - 0.0000 -
1062.01/1065.69 c 1066 1526323 80037 1 - 0.0000 -
1067.08/1070.74 c 1071 1529435 80053 1 - 0.0000 -
1072.07/1075.79 c 1076 1532323 80060 1 - 0.0000 -
1077.16/1080.84 c 1081 1535541 80097 1 - 0.0000 -
1082.15/1085.89 c 1086 1538719 80071 1 - 0.0000 -
1087.22/1090.94 c 1091 1541706 80187 1 - 0.0000 -
1092.21/1095.99 c 1096 1544835 80399 1 - 0.0000 -
1097.31/1101.04 c 1101 1547886 80863 1 - 0.0000 -
1102.28/1106.09 c 1106 1550875 81034 1 - 0.0000 -
1107.37/1111.14 c 1111 1553920 81039 1 - 0.0000 -
1112.35/1116.19 c 1116 1557603 81329 1 - 0.0000 -
1117.43/1121.24 c 1121 1560850 81239 1 - 0.0000 -
1122.41/1126.30 c 1126 1564404 81342 1 - 0.0000 -
1127.49/1131.35 c 1131 1568299 81373 1 - 0.0000 -
1132.46/1136.39 c 1136 1572021 81317 1 - 0.0000 -
1137.55/1141.44 c 1141 1576097 81335 1 - 0.0000 -
1142.53/1146.49 c 1146 1580495 81371 1 - 0.0000 -
1147.61/1151.54 c 1152 1585243 81418 1 - 0.0000 -
1152.60/1156.59 c 1157 1590076 81397 1 - 0.0000 -
1157.68/1161.64 c 1162 1595151 81748 1 - 0.0000 -
1162.66/1166.69 c 1167 1599289 81874 1 - 0.0000 -
1167.75/1171.74 c 1172 1603842 82031 1 - 0.0000 -
1172.74/1176.79 c 1177 1608160 82242 1 - 0.0000 -
1177.82/1181.84 c 1182 1612807 82274 1 - 0.0000 -
1182.80/1186.89 c 1187 1617291 82313 1 - 0.0000 -
1187.90/1191.94 c 1192 1621232 82309 1 - 0.0000 -
1192.88/1196.99 c 1197 1625389 82284 1 - 0.0000 -
1197.97/1202.04 c 1202 1629836 82338 1 - 0.0000 -
1202.95/1207.09 c 1207 1634466 82472 1 - 0.0000 -
1208.04/1212.14 c 1212 1638768 82493 1 - 0.0000 -
1213.02/1217.19 c 1217 1642756 82507 1 - 0.0000 -
1218.10/1222.24 c 1222 1647031 82543 1 - 0.0000 -
1223.08/1227.29 c 1227 1651230 82586 1 - 0.0000 -
1228.17/1232.34 c 1232 1655559 82661 1 - 0.0000 -
1233.16/1237.39 c 1237 1660331 82741 1 - 0.0000 -
1238.24/1242.44 c 1242 1664631 82886 1 - 0.0000 -
1243.23/1247.49 c 1248 1669052 82902 1 - 0.0000 -
1248.31/1252.55 c 1253 1673103 82849 1 - 0.0000 -
1253.29/1257.60 c 1258 1677112 82995 1 - 0.0000 -
1258.38/1262.64 c 1263 1681363 83028 1 - 0.0000 -
1263.37/1267.69 c 1268 1685350 83058 1 - 0.0000 -
1268.45/1272.74 c 1273 1689651 83131 1 - 0.0000 -
1273.44/1277.79 c 1278 1693641 83193 1 - 0.0000 -
1278.52/1282.84 c 1283 1698323 83234 1 - 0.0000 -
1283.50/1287.89 c 1288 1702729 83265 1 - 0.0000 -
1288.59/1292.94 c 1293 1706958 83219 1 - 0.0000 -
1293.57/1297.99 c 1298 1711069 83219 1 - 0.0000 -
1298.66/1303.04 c 1303 1715008 83292 1 - 0.0000 -
1303.65/1308.09 c 1308 1719248 83285 1 - 0.0000 -
1308.73/1313.14 c 1313 1723220 83295 1 - 0.0000 -
1313.71/1318.19 c 1318 1726992 83253 1 - 0.0000 -
1318.79/1323.24 c 1323 1730849 83165 1 - 0.0000 -
1323.77/1328.29 c 1328 1734855 83198 1 - 0.0000 -
1328.86/1333.34 c 1333 1739162 83433 1 - 0.0000 -
1333.84/1338.39 c 1338 1743248 83418 1 - 0.0000 -
1338.93/1343.44 c 1343 1747203 83404 1 - 0.0000 -
1343.91/1348.49 c 1348 1751253 83381 1 - 0.0000 -
1349.00/1353.54 c 1354 1755178 83350 1 - 0.0000 -
1353.98/1358.59 c 1359 1759043 83338 1 - 0.0000 -
1359.07/1363.64 c 1364 1763231 83508 1 - 0.0000 -
1364.15/1368.70 c 1369 1767231 83678 1 - 0.0000 -
1369.13/1373.75 c 1374 1771493 83980 1 - 0.0000 -
1374.22/1378.80 c 1379 1775463 84163 1 - 0.0000 -
1379.20/1383.85 c 1384 1779512 84265 1 - 0.0000 -
1384.29/1388.90 c 1389 1783360 84309 1 - 0.0000 -
1389.27/1393.95 c 1394 1787314 84316 1 - 0.0000 -
1394.37/1399.00 c 1399 1791136 84589 1 - 0.0000 -
1399.35/1404.05 c 1404 1795342 84740 1 - 0.0000 -
1404.43/1409.10 c 1409 1799910 84881 1 - 0.0000 -
1409.42/1414.15 c 1414 1804295 84956 1 - 0.0000 -
1414.49/1419.20 c 1419 1808297 84979 1 - 0.0000 -
1419.48/1424.25 c 1424 1812790 85072 1 - 0.0000 -
1424.56/1429.30 c 1429 1816681 85043 1 - 0.0000 -
1429.54/1434.35 c 1434 1820775 85163 1 - 0.0000 -
1434.63/1439.40 c 1439 1824661 85131 1 - 0.0000 -
1439.62/1444.45 c 1444 1828595 85125 1 - 0.0000 -
1444.70/1449.50 c 1450 1832426 85190 1 - 0.0000 -
1449.68/1454.55 c 1455 1836126 85258 1 - 0.0000 -
1454.76/1459.60 c 1460 1840210 85275 1 - 0.0000 -
1459.75/1464.65 c 1465 1843926 85328 1 - 0.0000 -
1464.84/1469.70 c 1470 1847616 85350 1 - 0.0000 -
1469.82/1474.75 c 1475 1851365 85371 1 - 0.0000 -
1474.90/1479.80 c 1480 1855071 85438 1 - 0.0000 -
1479.89/1484.85 c 1485 1858666 85499 1 - 0.0000 -
1484.97/1489.90 c 1490 1862297 85590 1 - 0.0000 -
1489.95/1494.96 c 1495 1865885 85658 1 - 0.0000 -
1495.05/1500.00 c 1500 1869159 85526 1 - 0.0000 -
1500.03/1505.05 c 1505 1872895 85667 1 - 0.0000 -
1505.12/1510.10 c 1510 1876410 85782 1 - 0.0000 -
1510.10/1515.15 c 1515 1880384 86248 1 - 0.0000 -
1515.18/1520.20 c 1520 1884380 86444 1 - 0.0000 -
1520.16/1525.25 c 1525 1888291 86593 1 - 0.0000 -
1525.25/1530.30 c 1530 1892038 86615 1 - 0.0000 -
1530.23/1535.35 c 1535 1895497 86585 1 - 0.0000 -
1535.31/1540.40 c 1540 1899348 86627 1 - 0.0000 -
1540.30/1545.45 c 1545 1903041 86527 1 - 0.0000 -
1545.39/1550.50 c 1551 1906232 86471 1 - 0.0000 -
1550.37/1555.55 c 1556 1909777 86395 1 - 0.0000 -
1555.45/1560.60 c 1561 1912978 86311 1 - 0.0000 -
1560.44/1565.65 c 1566 1916491 86355 1 - 0.0000 -
1565.52/1570.70 c 1571 1920035 86340 1 - 0.0000 -
1570.50/1575.75 c 1576 1923435 86337 1 - 0.0000 -
1575.59/1580.81 c 1581 1926908 86349 1 - 0.0000 -
1580.57/1585.87 c 1586 1930783 86682 1 - 0.0000 -
1585.65/1590.92 c 1591 1934434 86725 1 - 0.0000 -
1590.64/1595.97 c 1596 1937609 86636 1 - 0.0000 -
1595.73/1601.02 c 1601 1941053 86861 1 - 0.0000 -
1600.71/1606.07 c 1606 1944813 86932 1 - 0.0000 -
1605.80/1611.12 c 1611 1948248 86995 1 - 0.0000 -
1610.79/1616.17 c 1616 1952066 87037 1 - 0.0000 -
1615.86/1621.22 c 1621 1955579 87067 1 - 0.0000 -
1620.85/1626.28 c 1626 1959181 87084 1 - 0.0000 -
1625.92/1631.34 c 1631 1962580 87181 1 - 0.0000 -
1630.91/1636.38 c 1636 1965713 87204 1 - 0.0000 -
1636.00/1641.43 c 1641 1969376 87239 1 - 0.0000 -
1640.98/1646.48 c 1646 1972730 87413 1 - 0.0000 -
1646.07/1651.53 c 1652 1975902 87566 1 - 0.0000 -
1651.05/1656.58 c 1657 1979117 87534 1 - 0.0000 -
1656.14/1661.63 c 1662 1982565 87690 1 - 0.0000 -
1661.12/1666.68 c 1667 1985865 87725 1 - 0.0000 -
1666.20/1671.73 c 1672 1989020 87668 1 - 0.0000 -
1671.19/1676.78 c 1677 1992557 87777 1 - 0.0000 -
1676.27/1681.83 c 1682 1995519 87836 1 - 0.0000 -
1681.25/1686.88 c 1687 1998464 87902 1 - 0.0000 -
1686.34/1691.93 c 1692 2001729 87932 1 - 0.0000 -
1691.33/1696.98 c 1697 2005083 87950 1 - 0.0000 -
1696.42/1702.03 c 1702 2008309 88055 1 - 0.0000 -
1701.40/1707.08 c 1707 2011833 88030 1 - 0.0000 -
1706.49/1712.14 c 1712 2015087 88065 1 - 0.0000 -
1711.56/1717.20 c 1717 2018593 88143 1 - 0.0000 -
1716.55/1722.25 c 1722 2021503 88167 1 - 0.0000 -
1721.63/1727.30 c 1727 2025120 88260 1 - 0.0000 -
1726.62/1732.35 c 1732 2029059 88377 1 - 0.0000 -
1731.70/1737.40 c 1737 2032464 88421 1 - 0.0000 -
1736.69/1742.45 c 1742 2035803 88570 1 - 0.0000 -
1741.76/1747.50 c 1748 2039445 88719 1 - 0.0000 -
1746.76/1752.56 c 1753 2042884 88723 1 - 0.0000 -
1751.83/1757.60 c 1758 2045839 88648 1 - 0.0000 -
1756.82/1762.65 c 1763 2048962 88728 1 - 0.0000 -
1761.91/1767.70 c 1768 2052032 88767 1 - 0.0000 -
1766.89/1772.75 c 1773 2055428 88771 1 - 0.0000 -
1771.97/1777.80 c 1778 2058405 88703 1 - 0.0000 -
1776.96/1782.85 c 1783 2061518 88721 1 - 0.0000 -
1782.04/1787.90 c 1788 2064631 88697 1 - 0.0000 -
1787.03/1792.95 c 1793 2067789 88720 1 - 0.0000 -
1792.11/1798.00 c 1798 2070737 88714 1 - 0.0000 -
1797.10/1803.05 c 1803 2073597 88722 1 - 0.0000 -
1802.18/1808.10 c 1808 2076753 88813 1 - 0.0000 -
1807.17/1813.15 c 1813 2079740 88737 1 - 0.0000 -
1812.25/1818.20 c 1818 2082687 89063 1 - 0.0000 -
1817.23/1823.26 c 1823 2085522 89590 1 - 0.0000 -
1822.31/1828.31 c 1828 2088204 89920 1 - 0.0000 -
1827.30/1833.37 c 1833 2090858 90068 1 - 0.0000 -
1832.38/1838.41 c 1838 2093447 90220 1 - 0.0000 -
1837.37/1843.46 c 1843 2096183 90372 1 - 0.0000 -
1842.45/1848.51 c 1849 2098756 90665 1 - 0.0000 -
1847.44/1853.56 c 1854 2101428 90765 1 - 0.0000 -
1852.52/1858.62 c 1859 2104009 90950 1 - 0.0000 -
1857.50/1863.66 c 1864 2106625 91086 1 - 0.0000 -
1862.59/1868.71 c 1869 2109269 91139 1 - 0.0000 -
1867.57/1873.76 c 1874 2111957 91224 1 - 0.0000 -
1872.66/1878.82 c 1879 2114460 91237 1 - 0.0000 -
1877.64/1883.86 c 1884 2117016 91273 1 - 0.0000 -
1882.73/1888.91 c 1889 2119499 91274 1 - 0.0000 -
1887.71/1893.98 c 1894 2122004 91383 1 - 0.0000 -
1892.80/1899.04 c 1899 2124762 91383 1 - 0.0000 -
1897.78/1904.08 c 1904 2127832 91410 1 - 0.0000 -
1902.87/1909.13 c 1909 2131149 91512 1 - 0.0000 -
1907.85/1914.18 c 1914 2134031 91620 1 - 0.0000 -
1912.92/1919.23 c 1919 2137088 91726 1 - 0.0000 -
1917.91/1924.29 c 1924 2139731 91722 1 - 0.0000 -
1922.99/1929.33 c 1929 2142260 91659 1 - 0.0000 -
1927.97/1934.38 c 1934 2144824 91603 1 - 0.0000 -
1933.04/1939.43 c 1939 2147589 92028 1 - 0.0000 -
1938.12/1944.50 c 1945 2150122 92273 1 - 0.0000 -
1943.11/1949.55 c 1950 2152409 92376 1 - 0.0000 -
1948.18/1954.60 c 1955 2154678 92456 1 - 0.0000 -
1953.16/1959.65 c 1960 2156882 92482 1 - 0.0000 -
1958.25/1964.70 c 1965 2159335 92661 1 - 0.0000 -
1963.23/1969.76 c 1970 2161777 92961 1 - 0.0000 -
1968.31/1974.81 c 1975 2164274 92978 1 - 0.0000 -
1973.29/1979.87 c 1980 2166463 92943 1 - 0.0000 -
1978.37/1984.91 c 1985 2169064 93008 1 - 0.0000 -
1983.35/1989.97 c 1990 2171586 93154 1 - 0.0000 -
1988.44/1995.01 c 1995 2174292 93304 1 - 0.0000 -
1993.41/2000.06 c 2000 2177800 93339 1 - 0.0000 -
1998.50/2005.11 c 2005 2180582 93303 1 - 0.0000 -
2003.48/2010.16 c 2010 2183419 93313 1 - 0.0000 -
2008.56/2015.21 c 2015 2186253 93235 1 - 0.0000 -
2013.54/2020.26 c 2020 2188943 93272 1 - 0.0000 -
2018.63/2025.31 c 2025 2191871 93256 1 - 0.0000 -
2023.61/2030.36 c 2030 2194518 93239 1 - 0.0000 -
2028.69/2035.41 c 2035 2197217 93221 1 - 0.0000 -
2033.68/2040.46 c 2040 2199941 93389 1 - 0.0000 -
2038.76/2045.51 c 2046 2202441 93371 1 - 0.0000 -
2043.74/2050.56 c 2051 2205051 93361 1 - 0.0000 -
2048.82/2055.60 c 2056 2207698 93343 1 - 0.0000 -
2053.80/2060.65 c 2061 2210730 93625 1 - 0.0000 -
2058.88/2065.70 c 2066 2213586 93587 1 - 0.0000 -
2063.86/2070.77 c 2071 2216565 93573 1 - 0.0000 -
2068.94/2075.82 c 2076 2219172 93467 1 - 0.0000 -
2073.92/2080.86 c 2081 2221921 93465 1 - 0.0000 -
2079.00/2085.91 c 2086 2224696 93411 1 - 0.0000 -
2083.98/2090.96 c 2091 2227378 93419 1 - 0.0000 -
2089.06/2096.01 c 2096 2230346 93420 1 - 0.0000 -
2094.05/2101.06 c 2101 2232898 93418 1 - 0.0000 -
2099.13/2106.12 c 2106 2235523 93414 1 - 0.0000 -
2104.11/2111.16 c 2111 2237963 93452 1 - 0.0000 -
2109.19/2116.22 c 2116 2240338 93364 1 - 0.0000 -
2114.17/2121.28 c 2121 2242998 93428 1 - 0.0000 -
2119.26/2126.33 c 2126 2245564 93393 1 - 0.0000 -
2124.25/2131.38 c 2131 2248180 93486 1 - 0.0000 -
2129.32/2136.43 c 2136 2250848 93492 1 - 0.0000 -
2134.31/2141.48 c 2141 2253669 93597 1 - 0.0000 -
2139.40/2146.53 c 2147 2256487 93608 1 - 0.0000 -
2144.38/2151.59 c 2152 2259197 93558 1 - 0.0000 -
2149.47/2156.64 c 2157 2261718 93503 1 - 0.0000 -
2154.55/2161.71 c 2162 2263985 93573 1 - 0.0000 -
2159.54/2166.76 c 2167 2266552 93532 1 - 0.0000 -
2164.61/2171.81 c 2172 2269045 93662 1 - 0.0000 -
2169.61/2176.86 c 2177 2271575 93620 1 - 0.0000 -
2174.69/2181.91 c 2182 2274561 93638 1 - 0.0000 -
2179.67/2186.97 c 2187 2276947 93665 1 - 0.0000 -
2184.76/2192.01 c 2192 2279798 93683 1 - 0.0000 -
2189.74/2197.06 c 2197 2282383 93684 1 - 0.0000 -
2194.83/2202.12 c 2202 2285296 93819 1 - 0.0000 -
2199.81/2207.17 c 2207 2288117 93879 1 - 0.0000 -
2204.89/2212.22 c 2212 2290541 93859 1 - 0.0000 -
2209.87/2217.27 c 2217 2293057 94027 1 - 0.0000 -
2214.96/2222.32 c 2222 2295524 94120 1 - 0.0000 -
2219.94/2227.37 c 2227 2297857 94173 1 - 0.0000 -
2225.02/2232.43 c 2232 2300244 94180 1 - 0.0000 -
2230.01/2237.49 c 2237 2302759 94254 1 - 0.0000 -
2235.10/2242.53 c 2243 2305697 94253 1 - 0.0000 -
2240.08/2247.58 c 2248 2308637 94250 1 - 0.0000 -
2245.16/2252.63 c 2253 2311271 94292 1 - 0.0000 -
2250.15/2257.68 c 2258 2313850 94284 1 - 0.0000 -
2255.23/2262.74 c 2263 2316423 94356 1 - 0.0000 -
2260.21/2267.79 c 2268 2318977 94419 1 - 0.0000 -
2265.30/2272.84 c 2273 2321839 94399 1 - 0.0000 -
2270.29/2277.89 c 2278 2324701 94479 1 - 0.0000 -
2275.37/2282.94 c 2283 2327522 94527 1 - 0.0000 -
2280.35/2287.99 c 2288 2330095 94494 1 - 0.0000 -
2285.44/2293.04 c 2293 2332855 94437 1 - 0.0000 -
2290.42/2298.09 c 2298 2335063 94351 1 - 0.0000 -
2295.51/2303.14 c 2303 2337419 94352 1 - 0.0000 -
2300.49/2308.19 c 2308 2339944 94334 1 - 0.0000 -
2305.57/2313.25 c 2313 2342438 94323 1 - 0.0000 -
2310.65/2318.31 c 2318 2344854 94285 1 - 0.0000 -
2315.64/2323.35 c 2323 2347516 94277 1 - 0.0000 -
2320.72/2328.40 c 2328 2350209 94267 1 - 0.0000 -
2325.70/2333.45 c 2333 2352757 94242 1 - 0.0000 -
2330.78/2338.51 c 2339 2355249 94232 1 - 0.0000 -
2335.77/2343.57 c 2344 2357704 94255 1 - 0.0000 -
2340.85/2348.61 c 2349 2360332 94266 1 - 0.0000 -
2345.83/2353.68 c 2354 2362811 94331 1 - 0.0000 -
2350.92/2358.72 c 2359 2365214 94373 1 - 0.0000 -
2355.90/2363.77 c 2364 2367640 94438 1 - 0.0000 -
2360.99/2368.82 c 2369 2370192 94425 1 - 0.0000 -
2365.97/2373.87 c 2374 2372422 94369 1 - 0.0000 -
2371.05/2378.92 c 2379 2374866 94343 1 - 0.0000 -
2376.04/2383.99 c 2384 2377200 94316 1 - 0.0000 -
2381.13/2389.04 c 2389 2379597 94341 1 - 0.0000 -
2386.21/2394.10 c 2394 2381864 94306 1 - 0.0000 -
2391.20/2399.16 c 2399 2384163 94343 1 - 0.0000 -
2396.27/2404.21 c 2404 2386488 94347 1 - 0.0000 -
2401.26/2409.26 c 2409 2388811 94308 1 - 0.0000 -
2406.34/2414.32 c 2414 2391087 94326 1 - 0.0000 -
2411.33/2419.36 c 2419 2393988 94446 1 - 0.0000 -
2416.40/2424.41 c 2424 2396316 94408 1 - 0.0000 -
2421.39/2429.47 c 2429 2399097 94411 1 - 0.0000 -
2426.48/2434.52 c 2435 2401449 94383 1 - 0.0000 -
2431.46/2439.58 c 2440 2403737 94505 1 - 0.0000 -
2436.54/2444.63 c 2445 2406063 94485 1 - 0.0000 -
2441.52/2449.68 c 2450 2408258 94501 1 - 0.0000 -
2446.61/2454.73 c 2455 2410916 94553 1 - 0.0000 -
2451.60/2459.78 c 2460 2413682 94722 1 - 0.0000 -
2456.67/2464.83 c 2465 2416073 94801 1 - 0.0000 -
2461.66/2469.88 c 2470 2418793 94799 1 - 0.0000 -
2466.74/2474.95 c 2475 2421500 95104 1 - 0.0000 -
2471.73/2479.99 c 2480 2423876 95388 1 - 0.0000 -
2476.82/2485.04 c 2485 2426064 95594 1 - 0.0000 -
2481.80/2490.10 c 2490 2428299 95731 1 - 0.0000 -
2486.89/2495.15 c 2495 2430779 95950 1 - 0.0000 -
2491.96/2500.21 c 2500 2433037 96125 1 - 0.0000 -
2497.04/2505.30 c 2505 2435117 96372 1 - 0.0000 -
2502.03/2510.34 c 2510 2437213 96476 1 - 0.0000 -
2507.02/2515.40 c 2515 2439447 96629 1 - 0.0000 -
2512.10/2520.44 c 2520 2441562 96714 1 - 0.0000 -
2517.08/2525.49 c 2526 2443569 96728 1 - 0.0000 -
2522.17/2530.54 c 2531 2445668 96768 1 - 0.0000 -
2527.16/2535.59 c 2536 2448106 96856 1 - 0.0000 -
2532.23/2540.65 c 2541 2450169 96961 1 - 0.0000 -
2537.32/2545.70 c 2546 2452124 97004 1 - 0.0000 -
2542.31/2550.76 c 2551 2454146 97010 1 - 0.0000 -
2547.39/2555.82 c 2556 2456276 97136 1 - 0.0000 -
2552.38/2560.86 c 2561 2458590 97158 1 - 0.0000 -
2557.46/2565.91 c 2566 2460556 97150 1 - 0.0000 -
2562.44/2570.96 c 2571 2462559 97148 1 - 0.0000 -
2567.53/2576.01 c 2576 2464673 97129 1 - 0.0000 -
2572.52/2581.06 c 2581 2467738 97376 1 - 0.0000 -
2577.60/2586.11 c 2586 2469855 97464 1 - 0.0000 -
2582.59/2591.17 c 2591 2472071 97547 1 - 0.0000 -
2587.66/2596.22 c 2596 2474218 97622 1 - 0.0000 -
2592.65/2601.27 c 2601 2476391 97604 1 - 0.0000 -
2597.73/2606.32 c 2606 2478553 97541 1 - 0.0000 -
2602.72/2611.37 c 2611 2480902 97573 1 - 0.0000 -
2607.80/2616.43 c 2616 2482931 97579 1 - 0.0000 -
2612.89/2621.50 c 2622 2484934 97715 1 - 0.0000 -
2617.87/2626.56 c 2627 2487094 97744 1 - 0.0000 -
2622.96/2631.61 c 2632 2489108 97783 1 - 0.0000 -
2627.94/2636.66 c 2637 2491293 97815 1 - 0.0000 -
2633.02/2641.71 c 2642 2493460 97818 1 - 0.0000 -
2638.01/2646.76 c 2647 2495662 97862 1 - 0.0000 -
2643.09/2651.82 c 2652 2498000 97853 1 - 0.0000 -
2648.08/2656.87 c 2657 2500162 97812 1 - 0.0000 -
2653.16/2661.92 c 2662 2502700 97780 1 - 0.0000 -
2658.14/2666.98 c 2667 2504909 97762 1 - 0.0000 -
2663.24/2672.03 c 2672 2507068 97769 1 - 0.0000 -
2668.22/2677.07 c 2677 2509539 97811 1 - 0.0000 -
2673.31/2682.12 c 2682 2511776 97771 1 - 0.0000 -
2678.29/2687.17 c 2687 2513918 98040 1 - 0.0000 -
2683.37/2692.23 c 2692 2516220 98237 1 - 0.0000 -
2688.35/2697.27 c 2697 2518458 98230 1 - 0.0000 -
2693.44/2702.33 c 2702 2520592 98351 1 - 0.0000 -
2698.42/2707.37 c 2707 2523007 98373 1 - 0.0000 -
2703.51/2712.43 c 2712 2525224 98373 1 - 0.0000 -
2708.49/2717.47 c 2717 2527213 98297 1 - 0.0000 -
2713.58/2722.53 c 2723 2529246 98255 1 - 0.0000 -
2718.57/2727.57 c 2728 2531465 98294 1 - 0.0000 -
2723.65/2732.63 c 2733 2533621 98306 1 - 0.0000 -
2728.64/2737.69 c 2738 2535922 98317 1 - 0.0000 -
2733.72/2742.73 c 2743 2538021 98361 1 - 0.0000 -
2738.71/2747.78 c 2748 2540175 98407 1 - 0.0000 -
2743.79/2752.83 c 2753 2542339 98526 1 - 0.0000 -
2748.77/2757.88 c 2758 2544672 98573 1 - 0.0000 -
2753.86/2762.93 c 2763 2546762 98645 1 - 0.0000 -
2758.84/2767.99 c 2768 2548794 98635 1 - 0.0000 -
2763.94/2773.03 c 2773 2551077 99137 1 - 0.0000 -
2768.92/2778.08 c 2778 2553384 99331 1 - 0.0000 -
2774.00/2783.14 c 2783 2555634 99388 1 - 0.0000 -
2779.08/2788.20 c 2788 2558103 99533 1 - 0.0000 -
2784.07/2793.24 c 2793 2560269 99503 1 - 0.0000 -
2789.06/2798.29 c 2798 2562689 99440 1 - 0.0000 -
2794.13/2803.34 c 2803 2564856 99396 1 - 0.0000 -
2799.13/2808.39 c 2808 2567310 99661 1 - 0.0000 -
2804.21/2813.44 c 2813 2570044 99772 1 - 0.0000 -
2809.19/2818.49 c 2818 2572645 99906 1 - 0.0000 -
2814.28/2823.55 c 2824 2574894 99917 1 - 0.0000 -
2819.36/2828.60 c 2829 2577216 99935 1 - 0.0000 -
2824.35/2833.66 c 2834 2579488 99971 1 - 0.0000 -
2829.44/2838.70 c 2839 2581465 99912 1 - 0.0000 -
2834.42/2843.79 c 2844 2583414 99862 1 - 0.0000 -
2839.50/2848.85 c 2849 2585550 99843 1 - 0.0000 -
2844.50/2853.90 c 2854 2587584 99792 1 - 0.0000 -
2849.58/2858.97 c 2859 2589612 99809 1 - 0.0000 -
2854.67/2864.01 c 2864 2591885 99818 1 - 0.0000 -
2859.65/2869.06 c 2869 2593874 99772 1 - 0.0000 -
2864.74/2874.11 c 2874 2596042 99730 1 - 0.0000 -
2869.72/2879.16 c 2879 2598261 99692 1 - 0.0000 -
2874.80/2884.21 c 2884 2600302 99626 1 - 0.0000 -
2879.79/2889.26 c 2889 2602340 99557 1 - 0.0000 -
2884.87/2894.31 c 2894 2604335 99589 1 - 0.0000 -
2889.86/2899.36 c 2899 2606349 99527 1 - 0.0000 -
2894.94/2904.41 c 2904 2608396 99506 1 - 0.0000 -
2899.92/2909.47 c 2909 2610330 99441 1 - 0.0000 -
2905.01/2914.51 c 2915 2612299 99413 1 - 0.0000 -
2910.00/2919.58 c 2920 2614255 99510 1 - 0.0000 -
2915.08/2924.64 c 2925 2616531 99476 1 - 0.0000 -
2920.16/2929.74 c 2930 2618386 99459 1 - 0.0000 -
2925.24/2934.80 c 2935 2620382 99409 1 - 0.0000 -
2930.23/2939.85 c 2940 2622416 99340 1 - 0.0000 -
2935.32/2944.90 c 2945 2624652 99328 1 - 0.0000 -
2940.30/2949.96 c 2950 2626784 99451 1 - 0.0000 -
2945.39/2955.00 c 2955 2629310 99452 1 - 0.0000 -
2950.38/2960.05 c 2960 2631260 99441 1 - 0.0000 -
2955.37/2965.10 c 2965 2633566 99499 1 - 0.0000 -
2960.44/2970.15 c 2970 2635495 99539 1 - 0.0000 -
2965.52/2975.20 c 2975 2637248 99529 1 - 0.0000 -
2970.51/2980.25 c 2980 2639244 99492 1 - 0.0000 -
2975.59/2985.31 c 2985 2641151 99496 1 - 0.0000 -
2980.58/2990.38 c 2990 2643112 99467 1 - 0.0000 -
2985.66/2995.42 c 2995 2645004 99489 1 - 0.0000 -
2990.65/3000.48 c 3000 2646850 99451 1 - 0.0000 -
2995.73/3005.54 c 3006 2648802 99460 1 - 0.0000 -
3000.72/3010.59 c 3011 2650803 99459 1 - 0.0000 -
3005.81/3015.64 c 3016 2652695 99444 1 - 0.0000 -
3010.79/3020.69 c 3021 2654647 99366 1 - 0.0000 -
3015.87/3025.75 c 3026 2656571 99403 1 - 0.0000 -
3020.86/3030.79 c 3031 2658512 99354 1 - 0.0000 -
3025.95/3035.85 c 3036 2660622 99388 1 - 0.0000 -
3030.93/3040.89 c 3041 2662432 99339 1 - 0.0000 -
3036.01/3045.96 c 3046 2664448 99348 1 - 0.0000 -
3041.10/3051.00 c 3051 2666285 99340 1 - 0.0000 -
3046.08/3056.06 c 3056 2668185 99310 1 - 0.0000 -
3051.17/3061.12 c 3061 2670143 99320 1 - 0.0000 -
3056.15/3066.16 c 3066 2672139 99364 1 - 0.0000 -
3061.24/3071.22 c 3071 2674125 99328 1 - 0.0000 -
3066.22/3076.27 c 3076 2676043 99394 1 - 0.0000 -
3071.31/3081.33 c 3081 2678008 99375 1 - 0.0000 -
3076.29/3086.37 c 3086 2679663 99408 1 - 0.0000 -
3081.37/3091.44 c 3091 2681551 99411 1 - 0.0000 -
3086.37/3096.49 c 3096 2683173 99364 1 - 0.0000 -
3091.45/3101.54 c 3102 2685327 99366 1 - 0.0000 -
3096.43/3106.58 c 3107 2687167 99369 1 - 0.0000 -
3101.52/3111.65 c 3112 2689214 99409 1 - 0.0000 -
3106.50/3116.69 c 3117 2691291 99404 1 - 0.0000 -
3111.59/3121.74 c 3122 2693606 99482 1 - 0.0000 -
3116.67/3126.80 c 3127 2695720 99463 1 - 0.0000 -
3121.66/3131.85 c 3132 2697936 99491 1 - 0.0000 -
3126.74/3136.90 c 3137 2700179 99499 1 - 0.0000 -
3131.72/3141.96 c 3142 2702240 99472 1 - 0.0000 -
3136.81/3147.02 c 3147 2704049 99531 1 - 0.0000 -
3141.79/3152.08 c 3152 2705664 99633 1 - 0.0000 -
3146.89/3157.13 c 3157 2707477 99641 1 - 0.0000 -
3151.87/3162.18 c 3162 2709506 99669 1 - 0.0000 -
3156.95/3167.25 c 3167 2711322 99735 1 - 0.0000 -
3161.94/3172.29 c 3172 2713161 99744 1 - 0.0000 -
3167.02/3177.35 c 3177 2714993 99689 1 - 0.0000 -
3172.11/3182.40 c 3182 2716846 99668 1 - 0.0000 -
3177.08/3187.46 c 3187 2718669 99661 1 - 0.0000 -
3182.18/3192.51 c 3193 2720523 99660 1 - 0.0000 -
3187.16/3197.55 c 3198 2722374 99736 1 - 0.0000 -
3192.25/3202.61 c 3203 2724445 99781 1 - 0.0000 -
3197.23/3207.66 c 3208 2726156 99707 1 - 0.0000 -
3202.32/3212.73 c 3213 2727969 99703 1 - 0.0000 -
3207.40/3217.80 c 3218 2730011 99751 1 - 0.0000 -
3212.38/3222.85 c 3223 2731792 99715 1 - 0.0000 -
3217.47/3227.90 c 3228 2733561 99665 1 - 0.0000 -
3222.45/3232.96 c 3233 2735518 99866 1 - 0.0000 -
3227.55/3238.02 c 3238 2737369 99764 1 - 0.0000 -
3232.53/3243.09 c 3243 2739199 99733 1 - 0.0000 -
3237.62/3248.15 c 3248 2741057 99703 1 - 0.0000 -
3242.60/3253.19 c 3253 2742967 99706 1 - 0.0000 -
3247.68/3258.25 c 3258 2744771 99861 1 - 0.0000 -
3252.76/3263.30 c 3263 2746729 99907 1 - 0.0000 -
3257.74/3268.36 c 3268 2748486 99845 1 - 0.0000 -
3262.84/3273.41 c 3273 2750490 99804 1 - 0.0000 -
3267.82/3278.47 c 3278 2752460 99812 1 - 0.0000 -
3272.90/3283.52 c 3284 2754539 99810 1 - 0.0000 -
3277.89/3288.57 c 3289 2756839 99826 1 - 0.0000 -
3282.96/3293.63 c 3294 2759238 99859 1 - 0.0000 -
3287.95/3298.68 c 3299 2761319 99970 1 - 0.0000 -
3293.03/3303.73 c 3304 2763226 100001 1 - 0.0000 -
3298.02/3308.78 c 3309 2765149 100002 1 - 0.0000 -
3303.10/3313.83 c 3314 2767372 100031 1 - 0.0000 -
3308.09/3318.88 c 3319 2769591 100034 1 - 0.0000 -
3313.17/3323.93 c 3324 2771695 99979 1 - 0.0000 -
3318.17/3328.98 c 3329 2773863 99973 1 - 0.0000 -
3323.25/3334.03 c 3334 2775987 99966 1 - 0.0000 -
3328.24/3339.08 c 3339 2778306 99938 1 - 0.0000 -
3333.32/3344.13 c 3344 2780696 100066 1 - 0.0000 -
3338.31/3349.18 c 3349 2782756 100207 1 - 0.0000 -
3343.39/3354.25 c 3354 2784684 100236 1 - 0.0000 -
3348.38/3359.29 c 3359 2786693 100198 1 - 0.0000 -
3353.46/3364.34 c 3364 2789268 100321 1 - 0.0000 -
3358.45/3369.39 c 3369 2791838 100389 1 - 0.0000 -
3363.53/3374.45 c 3374 2794051 100367 1 - 0.0000 -
3368.62/3379.50 c 3380 2796161 100343 1 - 0.0000 -
3373.61/3384.55 c 3385 2798324 100329 1 - 0.0000 -
3378.70/3389.60 c 3390 2800445 100335 1 - 0.0000 -
3383.68/3394.65 c 3395 2802537 100426 1 - 0.0000 -
3388.76/3399.71 c 3400 2804530 100524 1 - 0.0000 -
3393.75/3404.75 c 3405 2806569 100528 1 - 0.0000 -
3398.84/3409.80 c 3410 2808947 100565 1 - 0.0000 -
3403.82/3414.85 c 3415 2811050 100572 1 - 0.0000 -
3408.91/3419.91 c 3420 2813342 100597 1 - 0.0000 -
3413.90/3424.96 c 3425 2815411 100553 1 - 0.0000 -
3418.98/3430.01 c 3430 2817768 100642 1 - 0.0000 -
3423.97/3435.06 c 3435 2820037 100715 1 - 0.0000 -
3429.06/3440.11 c 3440 2822325 100758 1 - 0.0000 -
3434.05/3445.16 c 3445 2824617 100782 1 - 0.0000 -
3439.12/3450.21 c 3450 2826966 100898 1 - 0.0000 -
3444.10/3455.26 c 3455 2828999 100839 1 - 0.0000 -
3449.19/3460.33 c 3460 2831213 100837 1 - 0.0000 -
3454.18/3465.37 c 3465 2833232 100824 1 - 0.0000 -
3459.27/3470.42 c 3470 2835303 100861 1 - 0.0000 -
3464.25/3475.47 c 3475 2837452 100838 1 - 0.0000 -
3469.33/3480.52 c 3481 2839562 100855 1 - 0.0000 -
3474.33/3485.59 c 3486 2841787 100839 1 - 0.0000 -
3479.41/3490.66 c 3491 2843867 100883 1 - 0.0000 -
3484.50/3495.73 c 3496 2845941 100860 1 - 0.0000 -
3489.48/3500.78 c 3501 2848072 100938 1 - 0.0000 -
3494.56/3505.83 c 3506 2850596 101102 1 - 0.0000 -
3499.55/3510.88 c 3511 2853053 101145 1 - 0.0000 -
3504.64/3515.93 c 3516 2855141 101111 1 - 0.0000 -
3509.62/3520.98 c 3521 2857249 101112 1 - 0.0000 -
3514.71/3526.03 c 3526 2859472 101027 1 - 0.0000 -
3519.70/3531.08 c 3531 2861624 101006 1 - 0.0000 -
3524.78/3536.13 c 3536 2863813 100954 1 - 0.0000 -
3529.77/3541.18 c 3541 2866045 100977 1 - 0.0000 -
3534.85/3546.23 c 3546 2868247 101041 1 - 0.0000 -
3539.84/3551.28 c 3551 2870825 101145 1 - 0.0000 -
3544.92/3556.33 c 3556 2873257 101160 1 - 0.0000 -
3549.91/3561.38 c 3561 2875691 101136 1 - 0.0000 -
3554.99/3566.43 c 3566 2877851 101160 1 - 0.0000 -
3559.97/3571.48 c 3571 2879928 101164 1 - 0.0000 -
3565.07/3576.53 c 3577 2881897 101288 1 - 0.0000 -
3570.05/3581.58 c 3582 2884236 101339 1 - 0.0000 -
3575.14/3586.64 c 3587 2886695 101286 1 - 0.0000 -
3580.12/3591.68 c 3592 2889005 101410 1 - 0.0000 -
3585.21/3596.73 c 3597 2891289 101505 1 - 0.0000 -
3588.79/3600.33 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.79/3600.33 c Total Time : 3600.3300
3588.79/3600.33 c solving : 3600.3300
3588.79/3600.33 c presolving : 0.0027 (included in solving)
3588.79/3600.33 c B&B Tree :
3588.79/3600.33 c nodes (total) : 1
3588.79/3600.33 c Solution :
3588.79/3600.33 c Solutions found : 0
3588.79/3600.33 c Primal Bound : -
3588.79/3600.33 c Dual Bound : +0.00000000000000e+00
3588.79/3600.33 c Gap : -
3588.79/3600.33 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61083 MiB free)
memory of node 1: 64510 MiB (62972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447760-1721361233/watcher-4447760-1721361233 -o /tmp/evaluation-result-4447760-1721361233/solver-4447760-1721361233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011505 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447760-1721361233.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1011562, runsolver pid=1011548
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126944496/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=107408 memory=21832 CPUtime=0.09 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 2817 0 0 0 9 0 0 0 20 0 3 0 188287519 109985792 5458 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 26852 5458 2926 3032 0 8985 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=107408 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 1483 0 0 0 9 0 0 0 20 0 3 0 188287520 109985792 5458 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=107408 memory=237146210664 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287520 109985792 5458 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 21832 KiB
[startup+0.206586 s]*
/proc/loadavg: 1.10 1.97 3.02 7/267 1011575
/proc/meminfo: memFree=126927872/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=107408 memory=25260 CPUtime=0.2 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 3704 0 0 0 20 0 0 0 20 0 3 0 188287519 109985792 6315 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 26852 6315 2942 3032 0 9652 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=107408 memory=8603368907145347203 CPUtime=0.19 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 2370 0 0 0 19 0 0 0 20 0 3 0 188287520 109985792 6315 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=107408 memory=19020 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287520 109985792 6315 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 25260 KiB
[startup+0.306391 s]*
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126921388/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=107408 memory=25788 CPUtime=0.3 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 3834 0 0 0 30 0 0 0 20 0 3 0 188287519 109985792 6447 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 26852 6447 2942 3032 0 9670 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=107408 memory=-7880590079371469183 CPUtime=0.29 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 2500 0 0 0 29 0 0 0 20 0 3 0 188287520 109985792 6447 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=107408 memory=4571036637617787759 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287520 109985792 6447 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 25788 KiB
[startup+0.70025 s]
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126904284/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=107408 memory=26580 CPUtime=0.68 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 4027 0 0 0 68 0 0 0 20 0 3 0 188287519 109985792 6645 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 26852 6645 2942 3032 0 9855 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=107408 memory=0 CPUtime=0.68 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 2693 0 0 0 68 0 0 0 20 0 3 0 188287520 109985792 6645 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=107408 memory=0 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287520 109985792 6645 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 26580 KiB
[startup+1.50026 s]
/proc/loadavg: 1.10 1.97 3.02 8/267 1011575
/proc/meminfo: memFree=126897268/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=107408 memory=27064 CPUtime=1.48 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 6311 0 0 0 148 0 0 0 20 0 3 0 188287519 109985792 6766 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 26852 6766 2942 3032 0 9969 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=107408 memory=0 CPUtime=1.47 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 4961 0 0 0 147 0 0 0 20 0 3 0 188287520 109985792 6766 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=107408 memory=0 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188287520 109985792 6766 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 27064 KiB
[startup+3.10664 s]
/proc/loadavg: 1.34 2.00 3.03 8/267 1011575
/proc/meminfo: memFree=126864772/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=107408 memory=29704 CPUtime=3.09 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 7240 0 0 0 308 1 0 0 20 0 3 0 188287519 109985792 7426 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 26852 7426 2942 3032 0 10596 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=107408 memory=0 CPUtime=3.07 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 5887 0 0 0 307 0 0 0 20 0 3 0 188287520 109985792 7426 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=107408 memory=2273 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188287520 109985792 7426 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 29704 KiB
[startup+6.30019 s]
/proc/loadavg: 1.34 2.00 3.03 8/267 1011577
/proc/meminfo: memFree=126838988/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=107408 memory=33216 CPUtime=6.26 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 11276 0 0 0 624 2 0 0 20 0 3 0 188287519 109985792 8304 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 26852 8304 2942 3032 0 11794 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=107408 memory=0 CPUtime=6.26 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 9899 0 0 0 624 2 0 0 20 0 3 0 188287520 109985792 8304 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=107408 memory=279763700772720 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188287520 109985792 8304 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 33216 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 2.08 3.05 6/267 1011625
/proc/meminfo: memFree=126836424/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=108308 memory=34928 CPUtime=12.64 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 17933 0 0 0 1259 5 0 0 20 0 3 0 188287519 110907392 8732 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 27077 8732 2990 3032 0 12019 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=108308 memory=29868 CPUtime=12.62 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 16512 0 0 0 1258 4 0 0 20 0 3 0 188287520 110907392 8732 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=108308 memory=0 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188287520 110907392 8732 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 108308 KiB
Current children cumulated memory: 34928 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 2.15 3.06 6/267 1011628
/proc/meminfo: memFree=126759548/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=108308 memory=40756 CPUtime=25.39 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 31191 0 0 0 2525 14 0 0 20 0 3 0 188287519 110907392 10189 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 27077 10189 2990 3032 0 13421 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=108308 memory=40372 CPUtime=25.37 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 29696 0 0 0 2524 13 0 0 20 0 3 0 188287520 110907392 10189 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=108308 memory=39380 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 188287520 110907392 10189 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 108308 KiB
Current children cumulated memory: 40756 KiB
[startup+51.1063 s]
/proc/loadavg: 2.79 2.30 3.08 7/267 1011679
/proc/meminfo: memFree=126784144/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=109788 memory=46100 CPUtime=50.88 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 48934 0 0 0 5059 29 0 0 20 0 3 0 188287519 112422912 11525 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 27447 11525 2990 3032 0 14892 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=109788 memory=45380 CPUtime=50.87 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 47358 0 0 0 5058 29 0 0 20 0 3 0 188287520 112422912 11525 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=109788 memory=45136 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 188287520 112422912 11525 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 109788 KiB
Current children cumulated memory: 46100 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.62 3.15 6/265 1012068
/proc/meminfo: memFree=126603168/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=113008 memory=66860 CPUtime=101.85 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 75119 0 0 0 10132 53 0 0 20 0 3 0 188287519 115720192 16715 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 28252 16715 2990 3032 0 19788 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=113008 memory=61400 CPUtime=101.83 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 73454 0 0 0 10131 52 0 0 20 0 3 0 188287520 115720192 16715 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=113008 memory=63508 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 188287520 115720192 16715 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 113008 KiB
Current children cumulated memory: 66860 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.87 3.20 7/265 1012079
/proc/meminfo: memFree=126381272/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=120544 memory=91056 CPUtime=161.6 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 104840 0 0 0 16082 78 0 0 20 0 3 0 188287519 123437056 22764 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 30136 22764 2990 3032 0 25233 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=120544 memory=71444 CPUtime=161.58 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 103097 0 0 0 16081 77 0 0 20 0 3 0 188287520 123437056 22764 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=120544 memory=11604 CPUtime=0 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 188287520 123437056 22764 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 120544 KiB
################
# More data... #
################
/proc/1011562/statm: 79643 59620 2990 3032 0 62513 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=318572 memory=11604 CPUtime=3450.93 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 486251 0 0 0 344532 561 0 0 20 0 3 0 188287520 326217728 59620 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=318572 memory=237968 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 142 0 0 0 0 2 0 0 20 0 3 0 188287520 326217728 59620 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3451.19 s
Current children cumulated vsize: 318572 KiB
Current children cumulated memory: 238480 KiB
[startup+3522.3 s]
/proc/loadavg: 5.11 4.34 4.14 7/264 1013480
/proc/meminfo: memFree=121419444/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=319152 memory=239256 CPUtime=3511.02 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 490937 0 0 0 350529 573 0 0 20 0 3 0 188287519 326811648 59814 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 79788 59814 2990 3032 0 62658 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=319152 memory=238480 CPUtime=3510.77 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 487923 0 0 0 350512 565 0 0 20 0 3 0 188287520 326811648 59814 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=319152 memory=11604 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 144 0 0 0 0 2 0 0 20 0 3 0 188287520 326811648 59814 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 319152 KiB
Current children cumulated memory: 239256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.65 4.37 4.17 7/264 1013490
/proc/meminfo: memFree=121303368/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240232 CPUtime=3570.85 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 492690 0 0 0 356507 578 0 0 20 0 3 0 188287519 327864320 60058 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60058 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=11604 CPUtime=3570.58 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 489655 0 0 0 356489 569 0 0 20 0 3 0 188287520 327864320 60058 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=46536 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60058 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240232 KiB
[startup+3600.34 s]
# the end of solver process 1011562 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.04 s, system=5.80008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.60 4.37 4.17 7/264 1013490
/proc/meminfo: memFree=121300592/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240232 CPUtime=3572.55 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 492694 0 0 0 356677 578 0 0 20 0 3 0 188287519 327864320 60058 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60058 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=-6953134261842972523 CPUtime=3572.29 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 489659 0 0 0 356659 570 0 0 20 0 3 0 188287520 327864320 60058 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=-9187040403409501381 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60058 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240232 KiB
[startup+3590.4 s]
/proc/loadavg: 4.63 4.38 4.17 7/264 1013493
/proc/meminfo: memFree=121290692/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240300 CPUtime=3578.93 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 492747 0 0 0 357314 579 0 0 20 0 3 0 188287519 327864320 60075 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60075 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=46536 CPUtime=3578.66 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 489712 0 0 0 357296 570 0 0 20 0 3 0 188287520 327864320 60075 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=240232 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60075 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3578.93 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240300 KiB
[startup+3596.8 s]
/proc/loadavg: 4.58 4.37 4.17 7/264 1013495
/proc/meminfo: memFree=121278268/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240304 CPUtime=3585.31 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 492833 0 0 0 357952 579 0 0 20 0 3 0 188287519 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60076 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=240232 CPUtime=3585.04 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 489798 0 0 0 357934 570 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=240232 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240304 KiB
[startup+3598.4 s]
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121274340/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240304 CPUtime=3586.9 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 492837 0 0 0 358111 579 0 0 20 0 3 0 188287519 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60076 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=240304 CPUtime=3586.63 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 489802 0 0 0 358093 570 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=16328 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240304 KiB
[startup+3599.2 s]
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121273304/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240304 CPUtime=3587.7 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 492839 0 0 0 358191 579 0 0 20 0 3 0 188287519 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60076 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=16328 CPUtime=3587.43 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 489804 0 0 0 358173 570 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=2232 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240304 KiB
[startup+3600 s]*
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121270336/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240304 CPUtime=3588.5 cores=5,7
/proc/1011562/stat : 1011562 (fscip) R 1011548 1011562 1011492 0 -1 1077936128 493876 0 0 0 358271 579 0 0 20 0 3 0 188287519 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60076 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=-6953134261842972523 CPUtime=3588.24 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 490843 0 0 0 358254 570 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=-9187040403409501381 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3588.5 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240304 KiB
[startup+3600.2 s]
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121270336/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=320180 memory=240304 CPUtime=3588.7 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 495237 0 0 0 358291 579 0 0 20 0 3 0 188287519 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 80045 60076 2990 3032 0 62915 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=320180 memory=1924 CPUtime=3588.43 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 492233 0 0 0 358273 570 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=320180 memory=19288 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 327864320 60076 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3588.7 s
Current children cumulated vsize: 320180 KiB
Current children cumulated memory: 240304 KiB
[startup+3600.3 s]
/proc/loadavg: 4.53 4.36 4.17 7/264 1013495
/proc/meminfo: memFree=121270336/131524600 swapFree=131071996/131071996
[pid=1011562] ppid=1011548 vsize=305396 memory=225524 CPUtime=3588.79 cores=5,7
/proc/1011562/stat : 1011562 (fscip) S 1011548 1011562 1011492 0 -1 1077936128 496155 0 0 0 358300 579 0 0 20 0 3 0 188287519 312725504 56381 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
/proc/1011562/statm: 76349 56381 2990 3032 0 59219 0
[pid=1011562/tid=1011568] ppid=1011548 vsize=305396 memory=240232 CPUtime=3588.53 cores=5,7
/proc/1011562/task/1011568/stat : 1011568 (fscip) R 1011548 1011562 1011492 0 -1 4194368 493109 0 0 0 358283 570 0 0 20 0 3 0 188287520 312725504 56381 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
[pid=1011562/tid=1011570] ppid=1011548 vsize=305396 memory=240232 CPUtime=0.02 cores=5,7
/proc/1011562/task/1011570/stat : 1011570 (fscip) S 1011548 1011562 1011492 0 -1 1077936192 146 0 0 0 0 2 0 0 20 0 3 0 188287520 312725504 56381 134679101440 4194304 16613245 140737252557152 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57581568 140737252566035 140737252566151 140737252566151 140737252573168 0
Current children cumulated CPU time: 3588.79 s
Current children cumulated vsize: 305396 KiB
Current children cumulated memory: 225524 KiB
Child status: 0
Real time (s): 3600.34
CPU time (s): 3588.84
CPU user time (s): 3583.04
CPU system time (s): 5.80008
CPU usage (%): 99.6808
Max. virtual memory (cumulated for all children) (KiB): 320180
Max. memory (cumulated for all children) (KiB): 240304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.04
system time used= 5.80008
maximum resident set size= 240304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496348
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= 10936
involuntary context switches= 2539
# summary of solver processes directly reported to runsolver:
# pid: 1011562
# total CPU time (s): 3588.84
# total CPU user time (s): 3583.04
# total CPU system time (s): 5.80008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21914 second user time and 19.8691 second system time
The end
Begin job on nodeC022 at 2024-07-19 05:54:06
IDJOB=4447760
IDBENCH=160175
IDSOLVER=3064
FILE ID=nodeC022/4447760-1721361233
RUNJOBID= nodeC022-1721361246-1011505
SLURM_JOB_ID= 7542779
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-plain.pb.metafix.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-4447760-1721361233/watcher-4447760-1721361233 -o /tmp/evaluation-result-4447760-1721361233/solver-4447760-1721361233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011505 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447760-1721361233.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ce459d654692c78ea9ebe534277cd2e6
RANDOM SEED=1407414039
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3949.608
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3728.824
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3867.216
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3753.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3710.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3772.545
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3697.150
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3635.510
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127033844 kB
MemAvailable: 129687260 kB
Buffers: 498920 kB
Cached: 2979944 kB
SwapCached: 0 kB
Active: 1196872 kB
Inactive: 2642900 kB
Active(anon): 1440 kB
Inactive(anon): 405372 kB
Active(file): 1195432 kB
Inactive(file): 2237528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112092 kB
Writeback: 12 kB
AnonPages: 360252 kB
Mapped: 106904 kB
Shmem: 45912 kB
KReclaimable: 120208 kB
Slab: 235572 kB
SReclaimable: 120208 kB
SUnreclaim: 115364 kB
KernelStack: 3776 kB
PageTables: 10008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 802596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC022 at 2024-07-19 06:54:07