0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 47960064, getVmSize() = 47960064, SCIPgetMemUsed() = 19887384, SCIPgetMemTotal() = 25824728, SCIPgetMemExternEstim() = 10643586
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.19/2.22 c ** Estimated virtualMemUsedAtSolver = 78256074, getVmSize() = 131751936, SCIPgetMemUsed() = 76700462, SCIPgetMemTotal() = 106740526, SCIPgetMemExternEstim() = 10643586
2.19/2.22 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.19/2.22 c Original Problem :
2.19/2.22 c Problem name : instance-4464128-1722382195
2.19/2.22 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
2.19/2.22 c Constraints : 5494
2.19/2.22 c Objective sense : minimize
2.19/2.22 c Presolved Problem :
2.19/2.22 c Variables : 4063 (4063 binary, 0 integer, 0 implicit integer, 0 continuous)
2.19/2.22 c Constraints : 968
2.19/2.22 c Constraints : Number
2.19/2.22 c knapsack : 448
2.19/2.22 c setppc : 73
2.19/2.22 c orbitope : 447
2.19/2.22 c ** Instance transfer method used: 0
2.19/2.24 c ** ParaScipInstance copy increased the number of variables. **
2.19/2.25 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.19/2.25 c Nodes Active
2.19/2.25 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.77/5.80 c 6 2 1 1 - 7.0000 -
11.15/11.25 c 11 152 148 1 - 7.0000 -
16.34/16.45 c 16 591 231 1 - 7.0000 -
22.42/22.51 c 23 1073 247 1 - 7.0000 -
27.41/27.59 c 28 1463 274 1 - 7.0000 -
32.49/32.65 c 33 1831 304 1 - 7.0000 -
37.59/37.77 c 38 2178 305 1 - 7.0000 -
42.67/42.84 c 43 2556 298 1 - 7.0000 -
47.76/47.95 c 48 2937 291 1 - 7.0000 -
52.95/53.10 c 53 3468 308 1 - 7.0000 -
57.93/58.16 c 58 4035 345 1 - 7.0000 -
63.01/63.24 c 63 4768 440 1 - 7.0000 -
68.00/68.29 c 68 5361 474 1 - 7.0000 -
73.09/73.35 c 73 6043 471 1 - 7.0000 -
78.07/78.39 c 78 6670 493 1 - 7.0000 -
83.16/83.47 c 83 7358 504 1 - 7.0000 -
88.24/88.58 c 89 7849 527 1 - 7.0000 -
93.44/93.73 c 94 8339 564 1 - 7.0000 -
98.52/98.83 c 99 8821 556 1 - 7.0000 -
103.51/103.87 c 104 9206 567 1 - 7.0000 -
108.59/108.94 c 109 9641 637 1 - 7.0000 -
113.69/114.04 c 114 10130 655 1 - 7.0000 -
118.77/119.13 c 119 10533 737 1 - 7.0000 -
123.76/124.19 c 124 11032 762 1 - 7.0000 -
128.84/129.23 c 129 11576 787 1 - 7.0000 -
133.92/134.33 c 134 12134 798 1 - 7.0000 -
138.92/139.37 c 139 12681 811 1 - 7.0000 -
144.00/144.44 c 144 13524 825 1 - 7.0000 -
148.98/149.48 c 149 14300 828 1 - 7.0000 -
154.07/154.55 c 155 15156 831 1 - 7.0000 -
159.16/159.62 c 160 16053 814 1 - 7.0000 -
164.75/165.25 c 165 16715 838 1 - 7.0000 -
169.73/170.29 c 170 17427 874 1 - 7.0000 -
174.92/175.42 c 175 18068 875 1 - 7.0000 -
180.00/180.55 c 181 18741 884 1 - 7.0000 -
185.09/185.66 c 186 19406 870 1 - 7.0000 -
190.17/190.72 c 191 20164 870 1 - 7.0000 -
195.16/195.78 c 196 21152 875 1 - 7.0000 -
200.24/200.84 c 201 21845 882 1 - 7.0000 -
205.23/205.88 c 206 22581 889 1 - 7.0000 -
210.32/210.99 c 211 23475 943 1 - 7.0000 -
215.41/216.05 c 216 24552 975 1 - 7.0000 -
220.49/221.10 c 221 25525 1002 1 - 7.0000 -
225.48/226.15 c 226 26541 1062 1 - 7.0000 -
230.67/231.32 c 231 27469 1134 1 - 7.0000 -
235.64/236.39 c 236 28402 1150 1 - 7.0000 -
240.73/241.43 c 241 29332 1181 1 - 7.0000 -
245.72/246.49 c 246 30241 1201 1 - 7.0000 -
250.81/251.54 c 252 31117 1256 1 - 7.0000 -
255.79/256.58 c 257 32017 1269 1 - 7.0000 -
260.88/261.63 c 262 32869 1272 1 - 7.0000 -
265.86/266.69 c 267 33841 1290 1 - 7.0000 -
270.95/271.74 c 272 34755 1319 1 - 7.0000 -
276.03/276.80 c 277 35637 1428 1 - 7.0000 -
281.02/281.84 c 282 36520 1466 1 - 7.0000 -
286.11/286.90 c 287 37493 1527 1 - 7.0000 -
291.09/291.96 c 292 38272 1557 1 - 7.0000 -
296.19/297.02 c 297 39152 1596 1 - 7.0000 -
301.17/302.06 c 302 40168 1623 1 - 7.0000 -
306.26/307.12 c 307 41068 1637 1 - 7.0000 -
311.24/312.18 c 312 41945 1684 1 - 7.0000 -
316.52/317.43 c 317 42772 1729 1 - 7.0000 -
321.51/322.48 c 322 43660 1778 1 - 7.0000 -
326.60/327.54 c 328 44666 1788 1 - 7.0000 -
331.58/332.59 c 333 45599 1834 1 - 7.0000 -
336.66/337.65 c 338 46531 1842 1 - 7.0000 -
341.75/342.70 c 343 47559 1852 1 - 7.0000 -
346.73/347.74 c 348 48555 1858 1 - 7.0000 -
351.72/352.79 c 353 49620 1909 1 - 7.0000 -
356.80/357.84 c 358 50991 1909 1 - 7.0000 -
361.79/362.89 c 363 52287 1941 1 - 7.0000 -
366.87/367.94 c 368 53657 1933 1 - 7.0000 -
371.96/373.01 c 373 54537 1943 1 - 7.0000 -
376.94/378.07 c 378 55433 1982 1 - 7.0000 -
382.02/383.12 c 383 56407 2012 1 - 7.0000 -
387.01/388.18 c 388 57328 2083 1 - 7.0000 -
392.09/393.24 c 393 58256 2117 1 - 7.0000 -
397.17/398.30 c 398 59165 2154 1 - 7.0000 -
402.15/403.36 c 403 60004 2160 1 - 7.0000 -
407.23/408.41 c 408 60854 2175 1 - 7.0000 -
412.22/413.47 c 413 61780 2177 1 - 7.0000 -
417.30/418.52 c 419 62826 2184 1 - 7.0000 -
422.38/423.60 c 424 63676 2204 1 - 7.0000 -
427.36/428.65 c 429 64536 2213 1 - 7.0000 -
432.44/433.70 c 434 65364 2264 1 - 7.0000 -
437.43/438.76 c 439 66197 2279 1 - 7.0000 -
442.51/443.81 c 444 67047 2306 1 - 7.0000 -
447.49/448.86 c 449 67773 2321 1 - 7.0000 -
452.58/453.92 c 454 68729 2330 1 - 7.0000 -
457.56/458.96 c 459 69616 2340 1 - 7.0000 -
462.65/464.02 c 464 70561 2352 1 - 7.0000 -
467.62/469.06 c 469 71539 2357 1 - 7.0000 -
472.71/474.14 c 474 72401 2380 1 - 7.0000 -
477.69/479.18 c 479 73336 2439 1 - 7.0000 -
482.77/484.25 c 484 74232 2453 1 - 7.0000 -
487.75/489.29 c 489 75108 2467 1 - 7.0000 -
492.84/494.34 c 494 75928 2488 1 - 7.0000 -
497.92/499.41 c 499 76890 2498 1 - 7.0000 -
502.90/504.46 c 504 77867 2519 1 - 7.0000 -
507.98/509.51 c 510 78748 2535 1 - 7.0000 -
512.96/514.57 c 515 79519 2529 1 - 7.0000 -
518.05/519.63 c 520 80301 2610 1 - 7.0000 -
523.03/524.69 c 525 81134 2693 1 - 7.0000 -
528.11/529.75 c 530 81933 2717 1 - 7.0000 -
533.09/534.79 c 535 82829 2726 1 - 7.0000 -
538.28/539.97 c 540 83563 2732 1 - 7.0000 -
543.36/545.04 c 545 84418 2742 1 - 7.0000 -
548.45/550.10 c 550 85223 2763 1 - 7.0000 -
553.52/555.20 c 555 86056 2767 1 - 7.0000 -
558.50/560.24 c 560 86922 2785 1 - 7.0000 -
563.58/565.30 c 565 87770 2787 1 - 7.0000 -
568.57/570.35 c 570 88564 2804 1 - 7.0000 -
573.65/575.42 c 575 89480 2843 1 - 7.0000 -
578.63/580.46 c 580 90426 2856 1 - 7.0000 -
583.71/585.51 c 586 91297 2848 1 - 7.0000 -
588.70/590.58 c 591 92141 2966 1 - 7.0000 -
593.77/595.63 c 596 93044 3029 1 - 7.0000 -
598.76/600.68 c 601 93941 3148 1 - 7.0000 -
603.84/605.73 c 606 94799 3242 1 - 7.0000 -
608.82/610.78 c 611 95796 3321 1 - 7.0000 -
613.90/615.83 c 616 96850 3353 1 - 7.0000 -
618.89/620.89 c 621 97803 3389 1 - 7.0000 -
623.97/625.94 c 626 98710 3452 1 - 7.0000 -
629.06/631.00 c 631 99616 3458 1 - 7.0000 -
634.03/636.07 c 636 100459 3530 1 - 7.0000 -
639.12/641.13 c 641 101371 3586 1 - 7.0000 -
644.10/646.17 c 646 102307 3616 1 - 7.0000 -
649.18/651.22 c 651 103251 3639 1 - 7.0000 -
654.16/656.27 c 656 104119 3697 1 - 7.0000 -
659.24/661.33 c 661 105014 3762 1 - 7.0000 -
664.22/666.38 c 666 105909 3808 1 - 7.0000 -
669.30/671.44 c 671 106832 3832 1 - 7.0000 -
674.29/676.49 c 676 107681 3843 1 - 7.0000 -
679.37/681.53 c 682 108482 3880 1 - 7.0000 -
684.35/686.59 c 687 109352 3886 1 - 7.0000 -
689.43/691.65 c 692 110268 3910 1 - 7.0000 -
694.41/696.69 c 697 111146 3914 1 - 7.0000 -
699.50/701.74 c 702 112068 3952 1 - 7.0000 -
704.48/706.79 c 707 113095 3945 1 - 7.0000 -
709.56/711.84 c 712 114008 3974 1 - 7.0000 -
714.65/716.91 c 717 114847 4003 1 - 7.0000 -
719.62/721.99 c 722 115789 4017 1 - 7.0000 -
724.71/727.05 c 727 116657 4018 1 - 7.0000 -
729.79/732.10 c 732 117549 4053 1 - 7.0000 -
734.77/737.15 c 737 118500 4076 1 - 7.0000 -
739.85/742.21 c 742 119403 4080 1 - 7.0000 -
744.83/747.28 c 747 120304 4083 1 - 7.0000 -
749.91/752.34 c 752 121168 4095 1 - 7.0000 -
754.90/757.38 c 757 122011 4141 1 - 7.0000 -
759.99/762.44 c 762 123131 4159 1 - 7.0000 -
764.96/767.48 c 767 124098 4151 1 - 7.0000 -
770.05/772.53 c 773 125029 4193 1 - 7.0000 -
775.04/777.58 c 778 125952 4218 1 - 7.0000 -
780.12/782.64 c 783 127013 4225 1 - 7.0000 -
785.11/787.69 c 788 127890 4222 1 - 7.0000 -
790.19/792.76 c 793 128726 4237 1 - 7.0000 -
795.28/797.82 c 798 129567 4265 1 - 7.0000 -
800.25/802.87 c 803 130488 4287 1 - 7.0000 -
805.34/807.93 c 808 131289 4342 1 - 7.0000 -
810.42/813.00 c 813 132088 4384 1 - 7.0000 -
815.41/818.05 c 818 132959 4414 1 - 7.0000 -
820.40/823.10 c 823 133875 4441 1 - 7.0000 -
825.48/828.15 c 828 134714 4465 1 - 7.0000 -
830.56/833.21 c 833 135601 4480 1 - 7.0000 -
835.54/838.27 c 838 136482 4500 1 - 7.0000 -
840.62/843.32 c 843 137361 4528 1 - 7.0000 -
845.61/848.37 c 848 138267 4570 1 - 7.0000 -
850.69/853.42 c 853 139175 4613 1 - 7.0000 -
855.68/858.47 c 858 140069 4637 1 - 7.0000 -
860.76/863.53 c 864 140997 4652 1 - 7.0000 -
865.74/868.58 c 869 141821 4638 1 - 7.0000 -
870.83/873.62 c 874 142742 4653 1 - 7.0000 -
875.81/878.68 c 879 143722 4682 1 - 7.0000 -
880.89/883.74 c 884 144675 4713 1 - 7.0000 -
885.87/888.78 c 889 145575 4777 1 - 7.0000 -
890.96/893.83 c 894 146414 4795 1 - 7.0000 -
895.95/898.88 c 899 147238 4829 1 - 7.0000 -
901.02/903.93 c 904 148164 4839 1 - 7.0000 -
906.01/908.99 c 909 149198 4865 1 - 7.0000 -
911.10/914.05 c 914 150164 4902 1 - 7.0000 -
916.18/919.10 c 919 151011 4926 1 - 7.0000 -
921.17/924.16 c 924 151949 4931 1 - 7.0000 -
926.24/929.21 c 929 152806 4926 1 - 7.0000 -
931.23/934.26 c 934 153729 4946 1 - 7.0000 -
936.31/939.32 c 939 154567 4977 1 - 7.0000 -
941.30/944.37 c 944 155454 5004 1 - 7.0000 -
946.39/949.43 c 949 156371 5055 1 - 7.0000 -
951.37/954.48 c 954 157292 5049 1 - 7.0000 -
956.46/959.53 c 960 158196 5060 1 - 7.0000 -
961.44/964.58 c 965 159223 5067 1 - 7.0000 -
966.53/969.64 c 970 160186 5054 1 - 7.0000 -
971.51/974.69 c 975 161166 5152 1 - 7.0000 -
976.60/979.75 c 980 162014 5234 1 - 7.0000 -
981.69/984.83 c 985 162819 5197 1 - 7.0000 -
986.67/989.87 c 990 163644 5206 1 - 7.0000 -
991.76/994.92 c 995 164660 5216 1 - 7.0000 -
996.75/999.99 c 1000 165704 5209 1 - 7.0000 -
1001.83/1005.04 c 1005 166613 5215 1 - 7.0000 -
1006.82/1010.10 c 1010 167571 5215 1 - 7.0000 -
1011.91/1015.15 c 1015 168526 5225 1 - 7.0000 -
1016.98/1020.21 c 1020 169568 5246 1 - 7.0000 -
1022.17/1025.48 c 1025 170644 5242 1 - 7.0000 -
1027.26/1030.53 c 1031 171715 5249 1 - 7.0000 -
1032.24/1035.59 c 1036 172578 5269 1 - 7.0000 -
1037.33/1040.63 c 1041 173470 5317 1 - 7.0000 -
1042.32/1045.68 c 1046 174336 5341 1 - 7.0000 -
1047.40/1050.73 c 1051 175544 5345 1 - 7.0000 -
1052.49/1055.80 c 1056 176470 5369 1 - 7.0000 -
1057.47/1060.88 c 1061 177402 5365 1 - 7.0000 -
1062.56/1065.94 c 1066 178275 5372 1 - 7.0000 -
1067.55/1070.99 c 1071 179173 5384 1 - 7.0000 -
1072.63/1076.04 c 1076 180087 5419 1 - 7.0000 -
1077.62/1081.08 c 1081 181069 5445 1 - 7.0000 -
1082.71/1086.14 c 1086 181996 5415 1 - 7.0000 -
1087.69/1091.18 c 1091 182894 5459 1 - 7.0000 -
1092.78/1096.24 c 1096 183791 5482 1 - 7.0000 -
1097.76/1101.29 c 1101 184706 5498 1 - 7.0000 -
1102.84/1106.35 c 1106 185700 5498 1 - 7.0000 -
1107.93/1111.42 c 1111 186502 5529 1 - 7.0000 -
1112.92/1116.47 c 1116 187506 5543 1 - 7.0000 -
1118.00/1121.53 c 1122 188374 5547 1 - 7.0000 -
1122.99/1126.58 c 1127 189239 5589 1 - 7.0000 -
1128.07/1131.62 c 1132 190103 5588 1 - 7.0000 -
1133.06/1136.68 c 1137 191067 5603 1 - 7.0000 -
1138.15/1141.73 c 1142 191984 5616 1 - 7.0000 -
1143.13/1146.78 c 1147 193048 5642 1 - 7.0000 -
1148.21/1151.84 c 1152 193940 5667 1 - 7.0000 -
1153.21/1156.88 c 1157 194857 5750 1 - 7.0000 -
1158.29/1161.93 c 1162 195835 5836 1 - 7.0000 -
1163.28/1166.98 c 1167 196833 5859 1 - 7.0000 -
1168.36/1172.04 c 1172 197623 5933 1 - 7.0000 -
1173.36/1177.09 c 1177 198361 5956 1 - 7.0000 -
1178.44/1182.14 c 1182 199101 6012 1 - 7.0000 -
1183.42/1187.19 c 1187 199859 6041 1 - 7.0000 -
1188.51/1192.25 c 1192 200632 6062 1 - 7.0000 -
1193.59/1197.31 c 1197 201327 6054 1 - 7.0000 -
1198.58/1202.36 c 1202 202072 6049 1 - 7.0000 -
1203.66/1207.41 c 1207 202823 6054 1 - 7.0000 -
1208.65/1212.47 c 1212 203524 6071 1 - 7.0000 -
1213.73/1217.52 c 1218 204332 6074 1 - 7.0000 -
1218.72/1222.59 c 1223 205094 6096 1 - 7.0000 -
1223.81/1227.64 c 1228 205875 6116 1 - 7.0000 -
1228.79/1232.69 c 1233 206573 6129 1 - 7.0000 -
1233.88/1237.74 c 1238 207382 6138 1 - 7.0000 -
1238.96/1242.81 c 1243 208131 6128 1 - 7.0000 -
1243.95/1247.85 c 1248 209109 6131 1 - 7.0000 -
1249.04/1252.91 c 1253 209879 6193 1 - 7.0000 -
1254.02/1257.97 c 1258 210721 6238 1 - 7.0000 -
1259.11/1263.02 c 1263 211632 6318 1 - 7.0000 -
1264.10/1268.08 c 1268 212488 6325 1 - 7.0000 -
1269.18/1273.15 c 1273 213267 6343 1 - 7.0000 -
1274.27/1278.21 c 1278 214142 6419 1 - 7.0000 -
1279.25/1283.27 c 1283 215010 6418 1 - 7.0000 -
1284.34/1288.31 c 1288 215890 6503 1 - 7.0000 -
1289.32/1293.38 c 1293 216784 6498 1 - 7.0000 -
1294.40/1298.42 c 1298 217817 6527 1 - 7.0000 -
1299.39/1303.47 c 1303 218734 6610 1 - 7.0000 -
1304.48/1308.52 c 1309 219732 6642 1 - 7.0000 -
1309.46/1313.57 c 1314 220681 6674 1 - 7.0000 -
1314.55/1318.62 c 1319 221564 6721 1 - 7.0000 -
1319.54/1323.67 c 1324 222497 6748 1 - 7.0000 -
1324.62/1328.73 c 1329 223401 6853 1 - 7.0000 -
1329.70/1333.80 c 1334 224318 6910 1 - 7.0000 -
1334.69/1338.85 c 1339 225180 6921 1 - 7.0000 -
1339.68/1343.89 c 1344 226058 6937 1 - 7.0000 -
1344.76/1348.96 c 1349 226884 6955 1 - 7.0000 -
1349.86/1354.01 c 1354 227779 6957 1 - 7.0000 -
1354.84/1359.07 c 1359 228602 6971 1 - 7.0000 -
1359.92/1364.13 c 1364 229450 7023 1 - 7.0000 -
1364.91/1369.19 c 1369 230361 7055 1 - 7.0000 -
1370.00/1374.24 c 1374 231268 7075 1 - 7.0000 -
1374.98/1379.29 c 1379 232172 7096 1 - 7.0000 -
1380.07/1384.35 c 1384 233064 7117 1 - 7.0000 -
1385.15/1389.40 c 1389 233915 7122 1 - 7.0000 -
1390.13/1394.45 c 1394 234762 7119 1 - 7.0000 -
1395.23/1399.50 c 1400 235652 7143 1 - 7.0000 -
1400.21/1404.55 c 1405 236527 7164 1 - 7.0000 -
1405.29/1409.60 c 1410 237413 7157 1 - 7.0000 -
1410.29/1414.65 c 1415 238267 7156 1 - 7.0000 -
1415.37/1419.72 c 1420 239084 7154 1 - 7.0000 -
1420.36/1424.76 c 1425 239947 7209 1 - 7.0000 -
1425.44/1429.82 c 1430 240903 7229 1 - 7.0000 -
1430.43/1434.86 c 1435 242293 7268 1 - 7.0000 -
1435.52/1439.91 c 1440 243688 7294 1 - 7.0000 -
1440.51/1444.97 c 1445 245013 7285 1 - 7.0000 -
1445.59/1450.01 c 1450 246040 7286 1 - 7.0000 -
1450.58/1455.08 c 1455 247029 7313 1 - 7.0000 -
1455.67/1460.12 c 1460 247937 7313 1 - 7.0000 -
1460.85/1465.32 c 1465 248732 7311 1 - 7.0000 -
1465.83/1470.36 c 1470 249615 7342 1 - 7.0000 -
1470.92/1475.41 c 1475 250502 7348 1 - 7.0000 -
1475.91/1480.47 c 1480 251408 7361 1 - 7.0000 -
1480.99/1485.52 c 1486 252327 7384 1 - 7.0000 -
1485.98/1490.57 c 1491 253375 7407 1 - 7.0000 -
1491.07/1495.61 c 1496 254421 7481 1 - 7.0000 -
1496.06/1500.66 c 1501 255498 7504 1 - 7.0000 -
1501.14/1505.71 c 1506 256535 7499 1 - 7.0000 -
1506.12/1510.76 c 1511 257486 7464 1 - 7.0000 -
1511.22/1515.84 c 1516 258418 7450 1 - 7.0000 -
1516.20/1520.88 c 1521 259282 7465 1 - 7.0000 -
1521.29/1525.94 c 1526 260309 7463 1 - 7.0000 -
1526.37/1531.00 c 1531 261235 7506 1 - 7.0000 -
1531.36/1536.04 c 1536 262110 7551 1 - 7.0000 -
1536.34/1541.10 c 1541 263035 7584 1 - 7.0000 -
1541.43/1546.15 c 1546 263921 7591 1 - 7.0000 -
1546.51/1551.20 c 1551 264761 7608 1 - 7.0000 -
1551.50/1556.25 c 1556 265621 7589 1 - 7.0000 -
1556.58/1561.31 c 1561 266481 7635 1 - 7.0000 -
1561.56/1566.38 c 1566 267457 7661 1 - 7.0000 -
1566.66/1571.43 c 1571 268328 7682 1 - 7.0000 -
1571.64/1576.48 c 1576 269251 7700 1 - 7.0000 -
1576.72/1581.53 c 1582 270156 7717 1 - 7.0000 -
1581.71/1586.59 c 1587 270959 7774 1 - 7.0000 -
1586.80/1591.65 c 1592 271787 7806 1 - 7.0000 -
1591.89/1596.71 c 1597 272774 7837 1 - 7.0000 -
1596.87/1601.76 c 1602 273689 7821 1 - 7.0000 -
1601.96/1606.83 c 1607 274606 7874 1 - 7.0000 -
1606.94/1611.88 c 1612 275593 7871 1 - 7.0000 -
1612.03/1616.93 c 1617 276582 7862 1 - 7.0000 -
1617.02/1621.98 c 1622 277538 7884 1 - 7.0000 -
1622.10/1627.03 c 1627 278528 7924 1 - 7.0000 -
1627.10/1632.09 c 1632 279424 7935 1 - 7.0000 -
1632.18/1637.14 c 1637 280389 7946 1 - 7.0000 -
1637.16/1642.19 c 1642 281398 7950 1 - 7.0000 -
1642.25/1647.23 c 1647 282310 7947 1 - 7.0000 -
1647.23/1652.28 c 1652 283449 7995 1 - 7.0000 -
1652.32/1657.34 c 1657 284380 7964 1 - 7.0000 -
1657.30/1662.39 c 1662 285362 7961 1 - 7.0000 -
1662.38/1667.44 c 1667 286381 7991 1 - 7.0000 -
1667.38/1672.49 c 1672 287329 8008 1 - 7.0000 -
1672.46/1677.55 c 1678 288234 8026 1 - 7.0000 -
1677.54/1682.60 c 1683 289009 8059 1 - 7.0000 -
1682.53/1687.65 c 1688 289905 8083 1 - 7.0000 -
1687.62/1692.73 c 1693 290775 8092 1 - 7.0000 -
1692.61/1697.78 c 1698 291801 8095 1 - 7.0000 -
1697.69/1702.82 c 1703 292629 8091 1 - 7.0000 -
1702.68/1707.88 c 1708 293565 8097 1 - 7.0000 -
1707.77/1712.94 c 1713 294364 8154 1 - 7.0000 -
1712.86/1718.00 c 1718 295334 8163 1 - 7.0000 -
1717.84/1723.06 c 1723 296176 8191 1 - 7.0000 -
1722.93/1728.10 c 1728 297012 8204 1 - 7.0000 -
1727.92/1733.16 c 1733 297818 8236 1 - 7.0000 -
1732.99/1738.21 c 1738 298638 8244 1 - 7.0000 -
1737.99/1743.28 c 1743 299503 8248 1 - 7.0000 -
1743.07/1748.33 c 1748 300511 8276 1 - 7.0000 -
1748.06/1753.37 c 1753 301347 8281 1 - 7.0000 -
1753.15/1758.43 c 1758 302193 8293 1 - 7.0000 -
1758.13/1763.48 c 1763 303011 8337 1 - 7.0000 -
1763.21/1768.54 c 1769 303768 8376 1 - 7.0000 -
1768.20/1773.59 c 1774 304722 8431 1 - 7.0000 -
1773.29/1778.65 c 1779 305632 8452 1 - 7.0000 -
1778.37/1783.70 c 1784 306540 8465 1 - 7.0000 -
1783.36/1788.75 c 1789 307337 8492 1 - 7.0000 -
1788.44/1793.81 c 1794 308255 8485 1 - 7.0000 -
1793.44/1798.87 c 1799 309129 8535 1 - 7.0000 -
1798.52/1803.92 c 1804 310032 8554 1 - 7.0000 -
1803.51/1808.98 c 1809 310840 8564 1 - 7.0000 -
1808.60/1814.06 c 1814 311795 8559 1 - 7.0000 -
1813.68/1819.10 c 1819 312608 8553 1 - 7.0000 -
1818.67/1824.16 c 1824 313421 8587 1 - 7.0000 -
1823.75/1829.20 c 1829 314274 8596 1 - 7.0000 -
1828.73/1834.26 c 1834 315194 8648 1 - 7.0000 -
1833.82/1839.31 c 1839 316118 8699 1 - 7.0000 -
1838.81/1844.37 c 1844 317012 8700 1 - 7.0000 -
1843.90/1849.43 c 1849 317886 8728 1 - 7.0000 -
1848.88/1854.49 c 1854 318738 8759 1 - 7.0000 -
1853.96/1859.54 c 1860 319457 8785 1 - 7.0000 -
1858.96/1864.59 c 1865 320229 8804 1 - 7.0000 -
1864.04/1869.65 c 1870 321038 8814 1 - 7.0000 -
1869.13/1874.70 c 1875 321823 8843 1 - 7.0000 -
1874.11/1879.78 c 1880 322617 8854 1 - 7.0000 -
1879.20/1884.83 c 1885 323282 8856 1 - 7.0000 -
1884.19/1889.88 c 1890 324007 8904 1 - 7.0000 -
1889.27/1894.92 c 1895 324762 8892 1 - 7.0000 -
1894.26/1899.97 c 1900 325455 8885 1 - 7.0000 -
1899.35/1905.02 c 1905 326152 8912 1 - 7.0000 -
1904.33/1910.09 c 1910 326979 8950 1 - 7.0000 -
1909.42/1915.15 c 1915 327767 8941 1 - 7.0000 -
1914.50/1920.22 c 1920 328640 8983 1 - 7.0000 -
1919.49/1925.26 c 1925 329595 9015 1 - 7.0000 -
1924.57/1930.32 c 1930 330504 9015 1 - 7.0000 -
1929.56/1935.37 c 1935 331482 9043 1 - 7.0000 -
1934.64/1940.42 c 1940 332288 9069 1 - 7.0000 -
1939.64/1945.48 c 1945 333115 9090 1 - 7.0000 -
1944.72/1950.53 c 1951 333945 9085 1 - 7.0000 -
1949.71/1955.59 c 1956 334828 9127 1 - 7.0000 -
1954.79/1960.64 c 1961 335667 9178 1 - 7.0000 -
1959.78/1965.69 c 1966 336502 9209 1 - 7.0000 -
1964.86/1970.74 c 1971 337259 9226 1 - 7.0000 -
1969.86/1975.79 c 1976 337995 9240 1 - 7.0000 -
1975.04/1980.90 c 1981 338697 9220 1 - 7.0000 -
1980.03/1985.94 c 1986 339496 9224 1 - 7.0000 -
1985.01/1990.99 c 1991 340307 9214 1 - 7.0000 -
1990.10/1996.06 c 1996 341036 9229 1 - 7.0000 -
1995.19/2001.12 c 2001 341833 9254 1 - 7.0000 -
2000.17/2006.18 c 2006 342646 9282 1 - 7.0000 -
2005.26/2011.23 c 2011 343443 9287 1 - 7.0000 -
2010.35/2016.35 c 2016 344177 9295 1 - 7.0000 -
2015.43/2021.41 c 2021 344914 9282 1 - 7.0000 -
2020.41/2026.46 c 2026 345618 9281 1 - 7.0000 -
2025.50/2031.52 c 2032 346467 9311 1 - 7.0000 -
2030.49/2036.57 c 2037 347232 9292 1 - 7.0000 -
2035.57/2041.67 c 2042 348070 9293 1 - 7.0000 -
2040.66/2046.72 c 2047 348822 9328 1 - 7.0000 -
2045.64/2051.76 c 2052 349690 9330 1 - 7.0000 -
2050.73/2056.83 c 2057 350472 9312 1 - 7.0000 -
2055.72/2061.89 c 2062 351292 9325 1 - 7.0000 -
2060.80/2066.97 c 2067 352063 9324 1 - 7.0000 -
2065.89/2072.01 c 2072 352797 9312 1 - 7.0000 -
2070.88/2077.07 c 2077 353562 9313 1 - 7.0000 -
2075.97/2082.13 c 2082 354221 9311 1 - 7.0000 -
2081.04/2087.20 c 2087 354971 9332 1 - 7.0000 -
2086.03/2092.29 c 2092 355755 9387 1 - 7.0000 -
2091.12/2097.33 c 2097 356497 9454 1 - 7.0000 -
2096.20/2102.42 c 2102 357131 9496 1 - 7.0000 -
2101.19/2107.47 c 2107 357812 9506 1 - 7.0000 -
2106.27/2112.55 c 2113 358541 9529 1 - 7.0000 -
2111.37/2117.62 c 2118 359319 9559 1 - 7.0000 -
2116.35/2122.67 c 2123 360064 9562 1 - 7.0000 -
2121.44/2127.74 c 2128 360831 9575 1 - 7.0000 -
2126.53/2132.80 c 2133 361527 9578 1 - 7.0000 -
2131.51/2137.86 c 2138 362211 9594 1 - 7.0000 -
2136.60/2142.90 c 2143 363016 9631 1 - 7.0000 -
2141.58/2147.96 c 2148 363731 9644 1 - 7.0000 -
2146.67/2153.02 c 2153 364478 9685 1 - 7.0000 -
2151.66/2158.08 c 2158 365113 9703 1 - 7.0000 -
2156.75/2163.15 c 2163 365889 9704 1 - 7.0000 -
2161.83/2168.23 c 2168 366545 9700 1 - 7.0000 -
2166.81/2173.29 c 2173 367247 9738 1 - 7.0000 -
2171.91/2178.35 c 2178 367906 9774 1 - 7.0000 -
2176.99/2183.40 c 2183 368728 9789 1 - 7.0000 -
2181.97/2188.45 c 2188 369540 9784 1 - 7.0000 -
2187.07/2193.51 c 2194 370319 9789 1 - 7.0000 -
2192.05/2198.57 c 2199 371141 9791 1 - 7.0000 -
2197.14/2203.61 c 2204 371973 9838 1 - 7.0000 -
2202.12/2208.66 c 2209 372754 9864 1 - 7.0000 -
2207.21/2213.73 c 2214 373481 9862 1 - 7.0000 -
2212.20/2218.78 c 2219 374239 9858 1 - 7.0000 -
2217.28/2223.85 c 2224 374971 9894 1 - 7.0000 -
2222.37/2228.92 c 2229 375644 9896 1 - 7.0000 -
2227.36/2233.99 c 2234 376367 9930 1 - 7.0000 -
2232.46/2239.04 c 2239 377029 9919 1 - 7.0000 -
2237.44/2244.09 c 2244 377723 9934 1 - 7.0000 -
2242.52/2249.15 c 2249 378526 9984 1 - 7.0000 -
2247.61/2254.20 c 2254 379280 9981 1 - 7.0000 -
2252.59/2259.28 c 2259 379957 10001 1 - 7.0000 -
2257.68/2264.33 c 2264 380781 10015 1 - 7.0000 -
2262.76/2269.42 c 2269 381519 10021 1 - 7.0000 -
2267.75/2274.48 c 2274 382284 10026 1 - 7.0000 -
2272.84/2279.56 c 2280 383030 10028 1 - 7.0000 -
2277.93/2284.62 c 2285 383763 10013 1 - 7.0000 -
2282.91/2289.67 c 2290 384397 10009 1 - 7.0000 -
2288.00/2294.71 c 2295 385110 10005 1 - 7.0000 -
2292.99/2299.79 c 2300 385892 10061 1 - 7.0000 -
2298.08/2304.85 c 2305 386658 10095 1 - 7.0000 -
2303.16/2309.90 c 2310 387349 10090 1 - 7.0000 -
2308.15/2314.95 c 2315 388190 10102 1 - 7.0000 -
2313.24/2320.00 c 2320 388924 10104 1 - 7.0000 -
2318.22/2325.06 c 2325 389677 10103 1 - 7.0000 -
2323.32/2330.14 c 2330 390399 10097 1 - 7.0000 -
2328.40/2335.21 c 2335 391210 10122 1 - 7.0000 -
2333.38/2340.28 c 2340 391989 10159 1 - 7.0000 -
2338.47/2345.34 c 2345 392821 10144 1 - 7.0000 -
2343.56/2350.40 c 2350 393558 10166 1 - 7.0000 -
2348.54/2355.46 c 2355 394181 10162 1 - 7.0000 -
2353.63/2360.54 c 2361 394862 10170 1 - 7.0000 -
2358.61/2365.59 c 2366 395641 10193 1 - 7.0000 -
2363.71/2370.65 c 2371 396426 10240 1 - 7.0000 -
2368.69/2375.69 c 2376 397129 10249 1 - 7.0000 -
2373.78/2380.75 c 2381 397846 10265 1 - 7.0000 -
2378.86/2385.81 c 2386 398563 10302 1 - 7.0000 -
2383.85/2390.86 c 2391 399211 10304 1 - 7.0000 -
2388.94/2395.94 c 2396 399820 10300 1 - 7.0000 -
2393.93/2400.99 c 2401 400656 10332 1 - 7.0000 -
2399.02/2406.05 c 2406 401322 10347 1 - 7.0000 -
2404.10/2411.10 c 2411 402069 10340 1 - 7.0000 -
2409.09/2416.16 c 2416 402786 10342 1 - 7.0000 -
2414.18/2421.22 c 2421 403590 10356 1 - 7.0000 -
2419.16/2426.27 c 2426 404540 10397 1 - 7.0000 -
2424.25/2431.33 c 2431 405254 10395 1 - 7.0000 -
2429.23/2436.38 c 2436 405993 10418 1 - 7.0000 -
2434.32/2441.43 c 2441 406759 10453 1 - 7.0000 -
2439.41/2446.50 c 2446 407579 10494 1 - 7.0000 -
2444.39/2451.55 c 2452 408366 10532 1 - 7.0000 -
2449.48/2456.62 c 2457 409109 10565 1 - 7.0000 -
2454.47/2461.66 c 2462 409861 10562 1 - 7.0000 -
2459.55/2466.72 c 2467 410615 10599 1 - 7.0000 -
2464.54/2471.77 c 2472 411350 10609 1 - 7.0000 -
2469.63/2476.82 c 2477 412091 10635 1 - 7.0000 -
2474.61/2481.88 c 2482 412754 10634 1 - 7.0000 -
2479.70/2486.93 c 2487 413553 10631 1 - 7.0000 -
2484.69/2491.97 c 2492 414272 10650 1 - 7.0000 -
2489.78/2497.03 c 2497 415029 10656 1 - 7.0000 -
2494.87/2502.12 c 2502 415679 10651 1 - 7.0000 -
2499.85/2507.19 c 2507 416446 10691 1 - 7.0000 -
2504.93/2512.24 c 2512 417049 10700 1 - 7.0000 -
2510.02/2517.30 c 2517 417699 10733 1 - 7.0000 -
2515.01/2522.35 c 2522 418457 10763 1 - 7.0000 -
2520.09/2527.41 c 2527 419268 10818 1 - 7.0000 -
2525.08/2532.46 c 2532 420031 10809 1 - 7.0000 -
2530.17/2537.54 c 2538 420711 10825 1 - 7.0000 -
2535.26/2542.60 c 2543 421461 10832 1 - 7.0000 -
2540.24/2547.66 c 2548 422181 10863 1 - 7.0000 -
2545.34/2552.73 c 2553 422816 10858 1 - 7.0000 -
2550.32/2557.79 c 2558 423428 10881 1 - 7.0000 -
2555.40/2562.84 c 2563 424158 10888 1 - 7.0000 -
2560.49/2567.92 c 2568 424951 10894 1 - 7.0000 -
2565.58/2573.03 c 2573 425596 10946 1 - 7.0000 -
2570.67/2578.12 c 2578 426339 10962 1 - 7.0000 -
2575.66/2583.18 c 2583 426972 10961 1 - 7.0000 -
2580.73/2588.24 c 2588 427642 10954 1 - 7.0000 -
2585.83/2593.30 c 2593 428356 10962 1 - 7.0000 -
2590.81/2598.34 c 2598 428962 10979 1 - 7.0000 -
2595.80/2603.39 c 2603 429587 10982 1 - 7.0000 -
2600.99/2608.51 c 2609 430077 11039 1 - 7.0000 -
2605.97/2613.56 c 2614 430637 11075 1 - 7.0000 -
2611.06/2618.62 c 2619 431402 11097 1 - 7.0000 -
2616.05/2623.67 c 2624 432221 11101 1 - 7.0000 -
2621.14/2628.76 c 2629 433049 11110 1 - 7.0000 -
2626.22/2633.86 c 2634 433632 11118 1 - 7.0000 -
2631.31/2638.94 c 2639 434323 11133 1 - 7.0000 -
2636.40/2644.01 c 2644 435016 11188 1 - 7.0000 -
2641.39/2649.08 c 2649 435725 11208 1 - 7.0000 -
2646.47/2654.15 c 2654 436379 11190 1 - 7.0000 -
2651.55/2659.20 c 2659 437116 11183 1 - 7.0000 -
2656.55/2664.28 c 2664 438080 11259 1 - 7.0000 -
2661.63/2669.35 c 2669 438842 11286 1 - 7.0000 -
2666.62/2674.39 c 2674 439577 11331 1 - 7.0000 -
2671.70/2679.46 c 2679 440308 11347 1 - 7.0000 -
2676.79/2684.51 c 2685 441098 11385 1 - 7.0000 -
2681.77/2689.56 c 2690 441916 11422 1 - 7.0000 -
2686.87/2694.63 c 2695 442817 11417 1 - 7.0000 -
2691.85/2699.69 c 2700 443587 11409 1 - 7.0000 -
2696.94/2704.74 c 2705 444230 11406 1 - 7.0000 -
2702.02/2709.80 c 2710 445063 11449 1 - 7.0000 -
2707.01/2714.85 c 2715 446176 11454 1 - 7.0000 -
2712.10/2719.90 c 2720 446909 11471 1 - 7.0000 -
2717.09/2724.97 c 2725 447669 11500 1 - 7.0000 -
2722.17/2730.01 c 2730 448450 11557 1 - 7.0000 -
2727.15/2735.09 c 2735 449037 11582 1 - 7.0000 -
2732.25/2740.18 c 2740 449712 11618 1 - 7.0000 -
2737.32/2745.25 c 2745 450492 11639 1 - 7.0000 -
2742.42/2750.32 c 2750 451228 11657 1 - 7.0000 -
2747.40/2755.39 c 2755 451946 11674 1 - 7.0000 -
2752.49/2760.47 c 2760 452656 11646 1 - 7.0000 -
2757.57/2765.52 c 2766 453328 11648 1 - 7.0000 -
2762.56/2770.59 c 2771 453850 11676 1 - 7.0000 -
2767.65/2775.64 c 2776 454499 11667 1 - 7.0000 -
2772.64/2780.69 c 2781 455206 11706 1 - 7.0000 -
2777.72/2785.74 c 2786 455966 11717 1 - 7.0000 -
2782.80/2790.81 c 2791 456592 11733 1 - 7.0000 -
2788.19/2796.24 c 2796 457243 11774 1 - 7.0000 -
2793.28/2801.30 c 2801 457902 11785 1 - 7.0000 -
2798.26/2806.35 c 2806 458576 11780 1 - 7.0000 -
2803.35/2811.40 c 2811 459243 11795 1 - 7.0000 -
2808.34/2816.46 c 2816 459983 11809 1 - 7.0000 -
2813.42/2821.55 c 2822 460669 11834 1 - 7.0000 -
2818.51/2826.60 c 2827 461381 11855 1 - 7.0000 -
2823.50/2831.66 c 2832 462053 11888 1 - 7.0000 -
2828.58/2836.71 c 2837 462904 11911 1 - 7.0000 -
2833.57/2841.77 c 2842 463600 11899 1 - 7.0000 -
2838.66/2846.82 c 2847 464290 11909 1 - 7.0000 -
2843.64/2851.89 c 2852 465043 11930 1 - 7.0000 -
2848.73/2856.94 c 2857 466106 11966 1 - 7.0000 -
2853.72/2861.99 c 2862 467027 11966 1 - 7.0000 -
2858.81/2867.05 c 2867 468031 11999 1 - 7.0000 -
2863.89/2872.11 c 2872 468723 12023 1 - 7.0000 -
2868.89/2877.16 c 2877 469386 12054 1 - 7.0000 -
2873.97/2882.22 c 2882 470067 12070 1 - 7.0000 -
2878.95/2887.26 c 2887 470796 12074 1 - 7.0000 -
2884.04/2892.31 c 2892 471552 12102 1 - 7.0000 -
2889.02/2897.37 c 2897 472350 12176 1 - 7.0000 -
2894.11/2902.44 c 2902 473164 12208 1 - 7.0000 -
2899.10/2907.49 c 2908 473960 12217 1 - 7.0000 -
2904.18/2912.56 c 2913 474787 12217 1 - 7.0000 -
2909.27/2917.61 c 2918 475544 12233 1 - 7.0000 -
2914.26/2922.67 c 2923 476271 12250 1 - 7.0000 -
2919.34/2927.73 c 2928 476953 12250 1 - 7.0000 -
2924.33/2932.79 c 2933 477741 12254 1 - 7.0000 -
2929.42/2937.85 c 2938 478457 12250 1 - 7.0000 -
2934.50/2942.90 c 2943 479262 12255 1 - 7.0000 -
2939.49/2947.95 c 2948 480055 12272 1 - 7.0000 -
2944.57/2953.01 c 2953 480804 12276 1 - 7.0000 -
2949.57/2958.06 c 2958 481529 12295 1 - 7.0000 -
2954.65/2963.16 c 2963 482161 12290 1 - 7.0000 -
2959.73/2968.22 c 2968 482844 12301 1 - 7.0000 -
2964.72/2973.28 c 2973 483549 12330 1 - 7.0000 -
2969.81/2978.34 c 2978 484250 12315 1 - 7.0000 -
2974.89/2983.40 c 2983 485013 12327 1 - 7.0000 -
2979.87/2988.46 c 2988 485694 12313 1 - 7.0000 -
2984.97/2993.53 c 2994 486469 12332 1 - 7.0000 -
2989.95/2998.58 c 2999 487153 12319 1 - 7.0000 -
2995.04/3003.66 c 3004 487863 12325 1 - 7.0000 -
3000.12/3008.72 c 3009 488556 12362 1 - 7.0000 -
3005.11/3013.77 c 3014 489211 12373 1 - 7.0000 -
3010.19/3018.86 c 3019 489918 12390 1 - 7.0000 -
3015.28/3023.92 c 3024 490571 12402 1 - 7.0000 -
3020.27/3028.96 c 3029 491261 12474 1 - 7.0000 -
3025.35/3034.04 c 3034 491934 12479 1 - 7.0000 -
3030.45/3039.12 c 3039 492607 12485 1 - 7.0000 -
3035.43/3044.17 c 3044 493247 12519 1 - 7.0000 -
3040.52/3049.22 c 3049 493919 12520 1 - 7.0000 -
3045.50/3054.28 c 3054 494676 12557 1 - 7.0000 -
3050.58/3059.33 c 3059 495465 12559 1 - 7.0000 -
3055.57/3064.39 c 3064 496115 12572 1 - 7.0000 -
3060.66/3069.45 c 3069 496858 12591 1 - 7.0000 -
3065.74/3074.54 c 3075 497472 12595 1 - 7.0000 -
3070.73/3079.59 c 3080 498195 12643 1 - 7.0000 -
3075.82/3084.66 c 3085 498928 12694 1 - 7.0000 -
3080.90/3089.72 c 3090 499767 12713 1 - 7.0000 -
3085.88/3094.76 c 3095 500483 12717 1 - 7.0000 -
3090.98/3099.84 c 3100 501081 12773 1 - 7.0000 -
3096.06/3104.91 c 3105 501795 12772 1 - 7.0000 -
3101.05/3109.96 c 3110 502594 12826 1 - 7.0000 -
3106.14/3115.01 c 3115 503315 12884 1 - 7.0000 -
3111.12/3120.08 c 3120 504008 12892 1 - 7.0000 -
3116.20/3125.13 c 3125 504750 12967 1 - 7.0000 -
3121.20/3130.18 c 3130 505540 13040 1 - 7.0000 -
3126.27/3135.24 c 3135 506294 13057 1 - 7.0000 -
3131.26/3140.30 c 3140 507067 13112 1 - 7.0000 -
3136.35/3145.36 c 3145 507792 13187 1 - 7.0000 -
3141.43/3150.41 c 3150 508587 13244 1 - 7.0000 -
3146.42/3155.46 c 3155 509407 13305 1 - 7.0000 -
3151.50/3160.51 c 3161 510233 13317 1 - 7.0000 -
3156.49/3165.57 c 3166 511060 13353 1 - 7.0000 -
3161.58/3170.63 c 3171 511891 13355 1 - 7.0000 -
3166.57/3175.69 c 3176 512632 13370 1 - 7.0000 -
3171.65/3180.74 c 3181 513378 13381 1 - 7.0000 -
3176.74/3185.81 c 3186 514086 13396 1 - 7.0000 -
3181.73/3190.86 c 3191 514838 13390 1 - 7.0000 -
3186.81/3195.91 c 3196 515599 13389 1 - 7.0000 -
3191.80/3200.97 c 3201 516378 13399 1 - 7.0000 -
3196.89/3206.01 c 3206 517117 13419 1 - 7.0000 -
3201.88/3211.06 c 3211 517867 13416 1 - 7.0000 -
3206.96/3216.12 c 3216 518610 13411 1 - 7.0000 -
3211.95/3221.17 c 3221 519348 13397 1 - 7.0000 -
3217.03/3226.22 c 3226 520071 13415 1 - 7.0000 -
3222.02/3231.29 c 3231 520649 13437 1 - 7.0000 -
3227.10/3236.34 c 3236 521298 13449 1 - 7.0000 -
3232.19/3241.43 c 3241 521935 13451 1 - 7.0000 -
3237.18/3246.48 c 3246 522575 13448 1 - 7.0000 -
3242.26/3251.52 c 3252 523258 13479 1 - 7.0000 -
3247.24/3256.57 c 3257 523981 13496 1 - 7.0000 -
3252.33/3261.64 c 3262 524721 13501 1 - 7.0000 -
3257.32/3266.69 c 3267 525520 13544 1 - 7.0000 -
3262.41/3271.75 c 3272 526331 13572 1 - 7.0000 -
3267.50/3276.80 c 3277 527101 13592 1 - 7.0000 -
3272.48/3281.85 c 3282 527862 13607 1 - 7.0000 -
3277.57/3286.91 c 3287 528595 13612 1 - 7.0000 -
3282.56/3291.96 c 3292 529194 13640 1 - 7.0000 -
3287.64/3297.02 c 3297 529882 13667 1 - 7.0000 -
3292.62/3302.06 c 3302 530587 13694 1 - 7.0000 -
3297.72/3307.13 c 3307 531284 13701 1 - 7.0000 -
3302.70/3312.19 c 3312 531927 13702 1 - 7.0000 -
3307.78/3317.25 c 3317 532654 13720 1 - 7.0000 -
3312.87/3322.30 c 3322 533492 13756 1 - 7.0000 -
3317.85/3327.36 c 3327 534282 13764 1 - 7.0000 -
3322.94/3332.41 c 3332 535055 13768 1 - 7.0000 -
3327.93/3337.47 c 3337 535741 13784 1 - 7.0000 -
3333.01/3342.51 c 3343 536745 13856 1 - 7.0000 -
3338.00/3347.56 c 3348 537921 13874 1 - 7.0000 -
3343.08/3352.61 c 3353 539121 13881 1 - 7.0000 -
3348.07/3357.69 c 3358 540079 13988 1 - 7.0000 -
3353.16/3362.77 c 3363 541031 14054 1 - 7.0000 -
3358.24/3367.82 c 3368 542024 14070 1 - 7.0000 -
3363.23/3372.87 c 3373 542971 14072 1 - 7.0000 -
3368.32/3377.92 c 3378 543900 14101 1 - 7.0000 -
3373.31/3382.97 c 3383 545009 14130 1 - 7.0000 -
3378.40/3388.03 c 3388 546179 14178 1 - 7.0000 -
3383.38/3393.09 c 3393 547260 14189 1 - 7.0000 -
3388.47/3398.14 c 3398 548276 14182 1 - 7.0000 -
3393.45/3403.18 c 3403 549467 14292 1 - 7.0000 -
3398.54/3408.24 c 3408 550566 14325 1 - 7.0000 -
3403.52/3413.28 c 3413 551776 14390 1 - 7.0000 -
3408.61/3418.33 c 3418 552940 14395 1 - 7.0000 -
3413.59/3423.38 c 3423 554075 14436 1 - 7.0000 -
3418.68/3428.43 c 3428 555310 14420 1 - 7.0000 -
3423.66/3433.49 c 3433 556222 14460 1 - 7.0000 -
3428.75/3438.54 c 3439 557149 14489 1 - 7.0000 -
3433.73/3443.58 c 3444 558111 14515 1 - 7.0000 -
3438.82/3448.64 c 3449 559097 14524 1 - 7.0000 -
3443.80/3453.68 c 3454 560044 14520 1 - 7.0000 -
3448.89/3458.78 c 3459 561038 14527 1 - 7.0000 -
3453.98/3463.83 c 3464 561938 14625 1 - 7.0000 -
3458.96/3468.87 c 3469 562929 14644 1 - 7.0000 -
3464.05/3473.94 c 3474 563983 14643 1 - 7.0000 -
3469.03/3478.99 c 3479 565031 14639 1 - 7.0000 -
3474.13/3484.06 c 3484 565875 14643 1 - 7.0000 -
3479.21/3489.10 c 3489 566677 14646 1 - 7.0000 -
3484.30/3494.21 c 3494 567394 14670 1 - 7.0000 -
3489.28/3499.26 c 3499 568114 14695 1 - 7.0000 -
3494.36/3504.32 c 3504 569044 14731 1 - 7.0000 -
3499.35/3509.36 c 3509 569882 14700 1 - 7.0000 -
3504.43/3514.42 c 3514 570746 14704 1 - 7.0000 -
3509.52/3519.51 c 3520 571616 14700 1 - 7.0000 -
3514.51/3524.58 c 3525 572279 14708 1 - 7.0000 -
3519.59/3529.65 c 3530 572962 14724 1 - 7.0000 -
3524.68/3534.71 c 3535 573672 14794 1 - 7.0000 -
3529.67/3539.78 c 3540 574495 14793 1 - 7.0000 -
3534.75/3544.82 c 3545 575321 14807 1 - 7.0000 -
3539.73/3549.87 c 3550 576093 14839 1 - 7.0000 -
3544.82/3554.94 c 3555 576860 14851 1 - 7.0000 -
3549.91/3560.00 c 3560 577547 14852 1 - 7.0000 -
3554.90/3565.07 c 3565 578264 14868 1 - 7.0000 -
3559.99/3570.13 c 3570 579066 14923 1 - 7.0000 -
3564.97/3575.18 c 3575 579747 14940 1 - 7.0000 -
3570.05/3580.24 c 3580 580511 14983 1 - 7.0000 -
3575.14/3585.30 c 3585 581401 14981 1 - 7.0000 -
3580.13/3590.35 c 3590 582220 14962 1 - 7.0000 -
3585.21/3595.42 c 3595 582909 14982 1 - 7.0000 -
3587.91/3598.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.91/3598.16 c Total Time : 3598.1600
3587.91/3598.16 c solving : 3598.1600
3587.91/3598.16 c presolving : 2.1911 (included in solving)
3587.91/3598.16 c B&B Tree :
3587.91/3598.16 c nodes (total) : 1
3587.91/3598.16 c Solution :
3587.91/3598.16 c Solutions found : 0
3587.91/3598.16 c Primal Bound : -
3587.91/3598.16 c Dual Bound : +7.00000000000000e+00
3587.91/3598.16 c Gap : -
3587.91/3598.18 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 (60805 MiB free)
memory of node 1: 64510 MiB (62477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464128-1722382195/watcher-4464128-1722382195 -o /tmp/evaluation-result-4464128-1722382195/solver-4464128-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30699 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464128-1722382195.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=33570, runsolver pid=33567
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.17 4.14 4.05 5/264 33571
/proc/meminfo: memFree=126208344/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=56088 memory=45348 CPUtime=0.09 cores=5,7
/proc/33570/stat : 33570 (fscip) R 33567 33570 30686 0 -1 4194304 10206 0 0 0 8 1 0 0 20 0 1 0 4816954 57434112 11337 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 14022 11337 2758 3035 0 10418 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 45348 KiB
[startup+0.205725 s]*
/proc/loadavg: 4.17 4.14 4.05 5/264 33571
/proc/meminfo: memFree=126188860/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=80076 memory=60272 CPUtime=0.2 cores=5,7
/proc/33570/stat : 33570 (fscip) R 33567 33570 30686 0 -1 4194304 13992 0 0 0 18 2 0 0 20 0 1 0 4816954 81997824 15068 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 20019 15068 2790 3035 0 16415 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80076 KiB
Current children cumulated memory: 60272 KiB
[startup+0.305562 s]*
/proc/loadavg: 4.17 4.14 4.05 5/264 33571
/proc/meminfo: memFree=126183652/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=82092 memory=62384 CPUtime=0.3 cores=5,7
/proc/33570/stat : 33570 (fscip) R 33567 33570 30686 0 -1 4194304 14522 0 0 0 28 2 0 0 20 0 1 0 4816954 84062208 15596 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 20523 15596 2790 3035 0 16919 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82092 KiB
Current children cumulated memory: 62384 KiB
[startup+0.700226 s]
/proc/loadavg: 4.17 4.14 4.05 5/266 33573
/proc/meminfo: memFree=126127568/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=86132 memory=66080 CPUtime=0.69 cores=5,7
/proc/33570/stat : 33570 (fscip) R 33567 33570 30686 0 -1 4194304 15423 0 0 0 67 2 0 0 20 0 1 0 4816954 88199168 16520 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 21533 16520 2790 3035 0 17929 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86132 KiB
Current children cumulated memory: 66080 KiB
[startup+1.50023 s]
/proc/loadavg: 4.17 4.14 4.05 5/266 33573
/proc/meminfo: memFree=126064244/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=116692 memory=96968 CPUtime=1.49 cores=5,7
/proc/33570/stat : 33570 (fscip) R 33567 33570 30686 0 -1 4194304 23132 0 0 0 146 3 0 0 20 0 1 0 4816954 119492608 24242 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 29173 24242 2790 3035 0 25569 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 116692 KiB
Current children cumulated memory: 96968 KiB
[startup+3.10556 s]
/proc/loadavg: 4.17 4.14 4.05 5/268 33575
/proc/meminfo: memFree=125939648/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=219880 memory=160580 CPUtime=3.08 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 39060 0 0 0 303 5 0 0 20 0 3 0 4816954 225157120 40145 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 54970 40145 2806 3035 0 46420 0
[pid=33570/tid=33574] ppid=33567 vsize=219880 memory=156360 CPUtime=0.84 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 10709 0 0 0 83 1 0 0 20 0 3 0 4817177 225157120 40145 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=219880 memory=0 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4817180 225157120 40145 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219880 KiB
Current children cumulated memory: 160580 KiB
[startup+6.30025 s]
/proc/loadavg: 4.24 4.15 4.06 5/268 33576
/proc/meminfo: memFree=125825728/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=285548 memory=237172 CPUtime=6.27 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 90730 0 0 0 617 10 0 0 20 0 3 0 4816954 292401152 59293 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 71387 59293 2950 3035 0 67697 0
[pid=33570/tid=33574] ppid=33567 vsize=285548 memory=0 CPUtime=4.03 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 62346 0 0 0 397 6 0 0 20 0 3 0 4817177 292401152 59293 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=285548 memory=98024 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4817180 292401152 59293 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 285548 KiB
Current children cumulated memory: 237172 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.15 4.06 5/268 33632
/proc/meminfo: memFree=125768248/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=351084 memory=255676 CPUtime=12.65 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 147679 0 0 0 1251 14 0 0 20 0 3 0 4816954 359510016 63919 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 87771 63919 2998 3035 0 71740 0
[pid=33570/tid=33574] ppid=33567 vsize=351084 memory=0 CPUtime=10.41 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 119252 0 0 0 1031 10 0 0 20 0 3 0 4817177 359510016 63919 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=351084 memory=259764 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4817180 359510016 63919 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 351084 KiB
Current children cumulated memory: 255676 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.14 4.06 5/268 33635
/proc/meminfo: memFree=125726808/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=351084 memory=275304 CPUtime=25.41 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 202143 0 0 0 2523 18 0 0 20 0 3 0 4816954 359510016 68826 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 87771 68826 2998 3035 0 75091 0
[pid=33570/tid=33574] ppid=33567 vsize=351084 memory=275216 CPUtime=23.18 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 173684 0 0 0 2304 14 0 0 20 0 3 0 4817177 359510016 68826 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=351084 memory=269584 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4817180 359510016 68826 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 351084 KiB
Current children cumulated memory: 275304 KiB
[startup+51.1059 s]
/proc/loadavg: 4.17 4.14 4.06 5/267 33638
/proc/meminfo: memFree=125699652/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=351084 memory=275408 CPUtime=50.95 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 241598 0 0 0 5072 23 0 0 20 0 3 0 4816954 359510016 68852 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 87771 68852 2998 3035 0 75091 0
[pid=33570/tid=33574] ppid=33567 vsize=351084 memory=275348 CPUtime=48.72 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 213092 0 0 0 4853 19 0 0 20 0 3 0 4817177 359510016 68852 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=351084 memory=11360 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4817180 359510016 68852 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 351084 KiB
Current children cumulated memory: 275408 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.06 5/267 33648
/proc/meminfo: memFree=125661640/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=351084 memory=298360 CPUtime=102.01 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 306295 0 0 0 10169 32 0 0 20 0 3 0 4816954 359510016 74590 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 87771 74590 2998 3035 0 81205 0
[pid=33570/tid=33574] ppid=33567 vsize=351084 memory=-7307490086970548090 CPUtime=99.77 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 277750 0 0 0 9949 28 0 0 20 0 3 0 4817177 359510016 74590 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=351084 memory=298360 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4817180 359510016 74590 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 351084 KiB
Current children cumulated memory: 298360 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.07 5/267 33658
/proc/meminfo: memFree=125611908/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=416620 memory=316120 CPUtime=161.85 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 361684 0 0 0 16143 42 0 0 20 0 3 0 4816954 426618880 79030 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 104155 79030 2998 3035 0 87365 0
[pid=33570/tid=33574] ppid=33567 vsize=416620 memory=316092 CPUtime=159.61 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 333104 0 0 0 15923 38 0 0 20 0 3 0 4817177 426618880 79030 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=416620 memory=316100 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4817180 426618880 79030 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 416620 KiB
Current children cumulated memory: 316120 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.07 5/266 33668
/proc/meminfo: memFree=125587980/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=416620 memory=316136 CPUtime=221.69 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 406450 0 0 0 22118 51 0 0 20 0 3 0 4816954 426618880 79034 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 104155 79034 2998 3035 0 87365 0
[pid=33570/tid=33574] ppid=33567 vsize=416620 memory=316092 CPUtime=219.43 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 377837 0 0 0 21897 46 0 0 20 0 3 0 4817177 426618880 79034 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=416620 memory=316136 CPUtime=0 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4817180 426618880 79034 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 416620 KiB
Current children cumulated memory: 316136 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.07 5/265 33681
/proc/meminfo: memFree=125558720/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=416620 memory=316144 CPUtime=281.52 cores=5,7
################
# More data... #
################
/proc/33570/statm: 136923 125143 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=11360 CPUtime=3449.99 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 902476 0 0 0 344662 337 0 0 20 0 3 0 4817177 560836608 125143 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=11360 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 141 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125143 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 500572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/266 35550
/proc/meminfo: memFree=121122272/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501040 CPUtime=3512.31 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 940612 0 0 0 350876 355 0 0 20 0 3 0 4816954 560836608 125260 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125260 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=11360 CPUtime=3509.81 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 910985 0 0 0 350639 342 0 0 20 0 3 0 4817177 560836608 125260 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=501040 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 143 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125260 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 35559
/proc/meminfo: memFree=121114904/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3572.15 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 946784 0 0 0 356853 362 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=5560 CPUtime=3569.64 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 917138 0 0 0 356616 348 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=-7307490086970548090 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3598.19 s]
# the end of solver process 33570 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.35 s, system=3.65179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 35561
/proc/meminfo: memFree=121114744/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3573.85 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 946919 0 0 0 357023 362 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=-7163093423917981049 CPUtime=3571.34 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 917273 0 0 0 356786 348 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=4426362905571258013 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 35561
/proc/meminfo: memFree=121114724/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3580.23 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 947134 0 0 0 357660 363 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=501056 CPUtime=3577.72 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 917488 0 0 0 357423 349 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=12760 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3580.23 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 35561
/proc/meminfo: memFree=121114736/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3583.42 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 948559 0 0 0 357979 363 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=5560 CPUtime=3580.91 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 918913 0 0 0 357742 349 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=501056 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 35563
/proc/meminfo: memFree=121114528/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3585.01 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 948761 0 0 0 358138 363 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=501056 CPUtime=3582.51 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 919115 0 0 0 357901 350 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=-7307490086970548090 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 35563
/proc/meminfo: memFree=121114592/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3586.61 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 948899 0 0 0 358298 363 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=501056 CPUtime=3584.1 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 919253 0 0 0 358060 350 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=12760 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3597.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 35563
/proc/meminfo: memFree=121114600/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3587.4 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 948926 0 0 0 358377 363 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=5560 CPUtime=3584.9 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 919279 0 0 0 358140 350 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=16008 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3598 s]*
/proc/loadavg: 4.09 4.11 4.09 5/258 35599
/proc/meminfo: memFree=121778108/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3587.81 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 948934 0 0 0 358418 363 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=8039887049847965867 CPUtime=3585.31 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 919491 0 0 0 358181 350 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=6756 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
[startup+3598.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 35599
/proc/meminfo: memFree=121778108/131524600 swapFree=131071996/131071996
[pid=33570] ppid=33567 vsize=547692 memory=501056 CPUtime=3587.91 cores=5,7
/proc/33570/stat : 33570 (fscip) S 33567 33570 30686 0 -1 1077936128 960422 0 0 0 358427 364 0 0 20 0 3 0 4816954 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
/proc/33570/statm: 136923 125264 3286 3035 0 128382 0
[pid=33570/tid=33574] ppid=33567 vsize=547692 memory=501056 CPUtime=3585.4 cores=5,7
/proc/33570/task/33574/stat : 33574 (fscip) R 33567 33570 30686 0 -1 4194368 930776 0 0 0 358190 350 0 0 20 0 3 0 4817177 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
[pid=33570/tid=33575] ppid=33567 vsize=547692 memory=11360 CPUtime=0.04 cores=5,7
/proc/33570/task/33575/stat : 33575 (fscip) S 33567 33570 30686 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 4817180 560836608 125264 134679101440 4194304 16623229 140726981096864 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 52682752 140726981104662 140726981104778 140726981104778 140726981111792 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 547692 KiB
Current children cumulated memory: 501056 KiB
Child status: 0
Real time (s): 3598.19
CPU time (s): 3588
CPU user time (s): 3584.35
CPU system time (s): 3.65179
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 547692
Max. memory (cumulated for all children) (KiB): 501056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.35
system time used= 3.65179
maximum resident set size= 501056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 963070
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= 10768
involuntary context switches= 1949
# summary of solver processes directly reported to runsolver:
# pid: 33570
# total CPU time (s): 3588
# total CPU user time (s): 3584.35
# total CPU system time (s): 3.65179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55225 second user time and 17.7062 second system time
The end
Begin job on nodeC018 at 2024-07-31 01:29:55
IDJOB=4464128
IDBENCH=148775
IDSOLVER=3092
FILE ID=nodeC018/4464128-1722382195
RUNJOBID= nodeC018-1722378594-30699
SLURM_JOB_ID= 8249831
Free space on /tmp= 889972 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.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-4464128-1722382195/watcher-4464128-1722382195 -o /tmp/evaluation-result-4464128-1722382195/solver-4464128-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30699 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464128-1722382195.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1367756045
nodeC018.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 : 3671.384
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.92
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 : 3672.834
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 : 7007.08
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 : 3600.312
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.92
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 : 3605.180
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 : 7007.08
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 : 3671.362
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.92
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 : 3661.613
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 : 7007.08
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 : 3600.321
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.92
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 : 3671.225
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126241744 kB
MemAvailable: 127784944 kB
Buffers: 101140 kB
Cached: 2261704 kB
SwapCached: 0 kB
Active: 274536 kB
Inactive: 4497712 kB
Active(anon): 1580 kB
Inactive(anon): 2429140 kB
Active(file): 272956 kB
Inactive(file): 2068572 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59144 kB
Writeback: 0 kB
AnonPages: 2409540 kB
Mapped: 122632 kB
Shmem: 21336 kB
KReclaimable: 82636 kB
Slab: 167408 kB
SReclaimable: 82636 kB
SUnreclaim: 84772 kB
KernelStack: 4240 kB
PageTables: 14084 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1984128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1058816 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: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889908 MiB
End job on nodeC018 at 2024-07-31 02:29:54