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.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 37425152, getVmSize() = 37425152, SCIPgetMemUsed() = 13306661, SCIPgetMemTotal() = 15343229, SCIPgetMemExternEstim() = 8582610
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.21/0.31 c ** Estimated virtualMemUsedAtSolver = 37522964, getVmSize() = 71860224, SCIPgetMemUsed() = 33093365, SCIPgetMemTotal() = 47701837, SCIPgetMemExternEstim() = 8582610
0.21/0.31 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.31 c Original Problem :
0.21/0.31 c Problem name : instance-4451500-1721425215
0.21/0.31 c Variables : 2991 (2991 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.31 c Constraints : 6388
0.21/0.31 c Objective sense : minimize
0.21/0.31 c Presolved Problem :
0.21/0.31 c Variables : 2974 (2974 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.31 c Constraints : 6345
0.21/0.31 c Constraints : Number
0.21/0.31 c setppc : 6344
0.21/0.31 c orbitope : 1
0.21/0.31 c ** Instance transfer method used: 0
0.31/0.33 c ** ParaScipInstance copy increased the number of variables. **
0.31/0.35 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.31/0.35 c Nodes Active
0.31/0.35 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.07/6.12 c 6 10 9 1 - 0.0000 -
11.14/11.29 c 11 685 110 1 - 0.0000 -
16.32/16.49 c 16 1630 127 1 - 0.0000 -
21.51/21.61 c 22 2716 117 1 - 0.0000 -
26.69/26.86 c 27 3524 166 1 - 0.0000 -
31.77/31.91 c 32 5056 182 1 - 0.0000 -
36.75/36.97 c 37 6577 190 1 - 0.0000 -
41.85/42.02 c 42 8146 194 1 - 0.0000 -
46.84/47.07 c 47 9521 270 1 - 0.0000 -
51.92/52.12 c 52 10908 250 1 - 0.0000 -
56.89/57.17 c 57 12471 256 1 - 0.0000 -
61.96/62.22 c 62 13826 287 1 - 0.0000 -
66.95/67.27 c 67 14991 295 1 - 0.0000 -
72.02/72.32 c 72 16026 295 1 - 0.0000 -
79.20/79.58 c 80 16840 1 1 - 0.0000 -
84.38/84.78 c 85 17303 44 1 - 0.0000 -
89.46/89.83 c 90 18593 144 1 - 0.0000 -
94.44/94.88 c 95 20077 44 1 - 0.0000 -
99.51/100.00 c 100 21690 42 1 - 0.0000 -
104.60/105.06 c 105 23126 30 1 - 0.0000 -
109.69/110.12 c 110 24563 35 1 - 0.0000 -
114.66/115.17 c 115 25941 41 1 - 0.0000 -
119.73/120.22 c 120 27252 40 1 - 0.0000 -
124.71/125.28 c 125 28496 32 1 - 0.0000 -
129.79/130.37 c 130 29737 50 1 - 0.0000 -
134.87/135.44 c 135 31045 43 1 - 0.0000 -
139.84/140.49 c 140 32373 38 1 - 0.0000 -
144.93/145.54 c 146 33886 42 1 - 0.0000 -
149.90/150.59 c 151 35294 47 1 - 0.0000 -
154.99/155.65 c 156 36730 58 1 - 0.0000 -
159.96/160.70 c 161 38198 25 1 - 0.0000 -
165.04/165.76 c 166 39393 38 1 - 0.0000 -
170.12/170.81 c 171 40873 47 1 - 0.0000 -
175.10/175.86 c 176 42616 41 1 - 0.0000 -
180.18/180.90 c 181 44202 66 1 - 0.0000 -
185.16/185.95 c 186 45875 34 1 - 0.0000 -
190.13/191.01 c 191 47555 42 1 - 0.0000 -
195.22/196.06 c 196 49284 35 1 - 0.0000 -
200.21/201.10 c 201 50844 27 1 - 0.0000 -
205.30/206.16 c 206 52201 38 1 - 0.0000 -
210.36/211.21 c 211 53581 46 1 - 0.0000 -
215.35/216.26 c 216 55087 42 1 - 0.0000 -
220.43/221.31 c 221 56708 46 1 - 0.0000 -
225.41/226.37 c 226 58064 40 1 - 0.0000 -
230.50/231.48 c 231 59414 51 1 - 0.0000 -
235.58/236.53 c 237 60879 31 1 - 0.0000 -
240.57/241.59 c 242 62272 34 1 - 0.0000 -
245.66/246.64 c 247 63527 46 1 - 0.0000 -
250.74/251.73 c 252 64840 46 1 - 0.0000 -
255.72/256.77 c 257 66138 41 1 - 0.0000 -
260.91/261.90 c 262 67295 43 1 - 0.0000 -
265.89/266.94 c 267 68465 35 1 - 0.0000 -
270.98/272.06 c 272 69704 39 1 - 0.0000 -
276.07/277.11 c 277 70991 36 1 - 0.0000 -
281.14/282.21 c 282 72179 42 1 - 0.0000 -
286.12/287.29 c 287 73529 29 1 - 0.0000 -
291.21/292.34 c 292 74751 37 1 - 0.0000 -
296.19/297.39 c 297 75941 25 1 - 0.0000 -
301.28/302.44 c 302 77360 49 1 - 0.0000 -
306.26/307.49 c 308 78848 43 1 - 0.0000 -
311.35/312.54 c 313 80363 34 1 - 0.0000 -
316.42/317.60 c 318 81845 28 1 - 0.0000 -
321.42/322.65 c 323 83301 27 1 - 0.0000 -
326.49/327.70 c 328 84473 78 1 - 0.0000 -
331.48/332.76 c 333 85934 56 1 - 0.0000 -
336.56/337.81 c 338 87475 57 1 - 0.0000 -
341.54/342.86 c 343 89019 52 1 - 0.0000 -
346.62/347.93 c 348 90535 46 1 - 0.0000 -
351.60/353.01 c 353 92202 36 1 - 0.0000 -
356.69/358.05 c 358 93708 45 1 - 0.0000 -
361.68/363.11 c 363 95151 43 1 - 0.0000 -
366.75/368.16 c 368 96556 38 1 - 0.0000 -
371.83/373.21 c 373 98012 48 1 - 0.0000 -
376.91/378.31 c 378 99572 52 1 - 0.0000 -
381.90/383.36 c 383 100968 44 1 - 0.0000 -
386.98/388.41 c 388 102398 47 1 - 0.0000 -
392.07/393.53 c 394 103817 61 1 - 0.0000 -
397.05/398.59 c 399 105621 43 1 - 0.0000 -
402.13/403.68 c 404 106994 45 1 - 0.0000 -
407.23/408.74 c 409 108216 65 1 - 0.0000 -
412.31/413.82 c 414 109630 60 1 - 0.0000 -
417.29/418.87 c 419 110950 55 1 - 0.0000 -
422.37/423.92 c 424 112336 59 1 - 0.0000 -
427.37/428.97 c 429 113697 55 1 - 0.0000 -
432.45/434.02 c 434 114958 61 1 - 0.0000 -
437.44/439.07 c 439 116338 52 1 - 0.0000 -
442.52/444.12 c 444 117666 57 1 - 0.0000 -
447.51/449.17 c 449 119024 57 1 - 0.0000 -
452.58/454.21 c 454 120357 47 1 - 0.0000 -
457.56/459.26 c 459 121648 59 1 - 0.0000 -
462.65/464.37 c 464 122944 46 1 - 0.0000 -
467.74/469.42 c 469 124162 67 1 - 0.0000 -
472.72/474.47 c 474 125460 55 1 - 0.0000 -
477.81/479.52 c 480 126783 43 1 - 0.0000 -
482.79/484.57 c 485 127967 51 1 - 0.0000 -
487.88/489.62 c 490 129075 67 1 - 0.0000 -
492.97/494.70 c 495 130167 70 1 - 0.0000 -
497.95/499.74 c 500 131411 61 1 - 0.0000 -
503.04/504.80 c 505 132401 66 1 - 0.0000 -
508.02/509.85 c 510 133590 68 1 - 0.0000 -
513.11/514.92 c 515 134704 74 1 - 0.0000 -
518.09/519.96 c 520 135890 66 1 - 0.0000 -
523.19/525.06 c 525 137020 74 1 - 0.0000 -
528.27/530.15 c 530 138291 63 1 - 0.0000 -
533.26/535.20 c 535 139607 66 1 - 0.0000 -
538.33/540.24 c 540 140823 85 1 - 0.0000 -
543.42/545.30 c 545 141992 100 1 - 0.0000 -
548.50/550.40 c 550 143081 73 1 - 0.0000 -
553.49/555.45 c 555 144392 70 1 - 0.0000 -
558.47/560.50 c 560 145669 71 1 - 0.0000 -
563.56/565.55 c 566 146846 71 1 - 0.0000 -
568.55/570.60 c 571 148063 145 1 - 0.0000 -
573.63/575.65 c 576 149318 76 1 - 0.0000 -
578.71/580.70 c 581 150524 74 1 - 0.0000 -
583.70/585.75 c 586 151648 73 1 - 0.0000 -
588.79/590.81 c 591 152965 69 1 - 0.0000 -
593.87/595.92 c 596 154211 63 1 - 0.0000 -
599.07/601.16 c 601 155419 65 1 - 0.0000 -
604.24/606.34 c 606 156626 69 1 - 0.0000 -
609.23/611.39 c 611 157793 71 1 - 0.0000 -
614.31/616.44 c 616 158956 67 1 - 0.0000 -
619.30/621.49 c 621 160212 108 1 - 0.0000 -
624.38/626.57 c 627 161580 78 1 - 0.0000 -
629.57/631.71 c 632 162778 105 1 - 0.0000 -
634.56/636.76 c 637 164325 91 1 - 0.0000 -
639.64/641.85 c 642 165803 126 1 - 0.0000 -
644.84/647.01 c 647 167290 90 1 - 0.0000 -
649.82/652.08 c 652 168854 100 1 - 0.0000 -
654.90/657.14 c 657 170360 87 1 - 0.0000 -
659.89/662.19 c 662 171748 96 1 - 0.0000 -
665.07/667.35 c 667 173234 94 1 - 0.0000 -
670.15/672.41 c 672 174579 103 1 - 0.0000 -
675.14/677.46 c 677 176250 100 1 - 0.0000 -
680.22/682.52 c 683 177566 111 1 - 0.0000 -
685.21/687.57 c 688 178748 104 1 - 0.0000 -
690.29/692.63 c 693 179989 108 1 - 0.0000 -
695.28/697.68 c 698 181145 101 1 - 0.0000 -
700.37/702.72 c 703 182323 102 1 - 0.0000 -
705.45/707.86 c 708 183433 104 1 - 0.0000 -
710.53/712.91 c 713 184559 107 1 - 0.0000 -
715.64/718.09 c 718 185816 130 1 - 0.0000 -
720.71/723.14 c 723 187103 120 1 - 0.0000 -
725.71/728.19 c 728 188246 128 1 - 0.0000 -
730.78/733.24 c 733 189390 118 1 - 0.0000 -
735.76/738.30 c 738 190641 127 1 - 0.0000 -
740.85/743.35 c 743 191789 132 1 - 0.0000 -
745.93/748.40 c 748 193055 168 1 - 0.0000 -
750.92/753.45 c 753 194357 131 1 - 0.0000 -
756.00/758.50 c 758 195548 152 1 - 0.0000 -
760.99/763.54 c 764 196648 201 1 - 0.0000 -
766.08/768.60 c 769 197903 146 1 - 0.0000 -
771.47/774.02 c 774 199097 143 1 - 0.0000 -
776.45/779.07 c 779 200300 119 1 - 0.0000 -
781.55/784.13 c 784 201440 122 1 - 0.0000 -
786.53/789.18 c 789 202643 130 1 - 0.0000 -
791.60/794.23 c 794 204136 123 1 - 0.0000 -
796.59/799.28 c 799 205725 124 1 - 0.0000 -
801.67/804.33 c 804 207198 130 1 - 0.0000 -
806.66/809.37 c 809 208634 127 1 - 0.0000 -
811.74/814.43 c 814 210043 124 1 - 0.0000 -
816.73/819.48 c 819 211310 126 1 - 0.0000 -
821.81/824.52 c 825 212700 126 1 - 0.0000 -
826.80/829.58 c 830 214115 118 1 - 0.0000 -
832.09/834.87 c 835 215490 132 1 - 0.0000 -
837.17/839.92 c 840 216821 133 1 - 0.0000 -
842.15/845.01 c 845 218152 142 1 - 0.0000 -
847.25/850.05 c 850 219492 130 1 - 0.0000 -
852.23/855.10 c 855 220729 136 1 - 0.0000 -
857.31/860.15 c 860 221916 163 1 - 0.0000 -
862.38/865.21 c 865 223156 144 1 - 0.0000 -
867.38/870.26 c 870 224367 129 1 - 0.0000 -
872.46/875.31 c 875 225549 134 1 - 0.0000 -
877.44/880.37 c 880 226561 124 1 - 0.0000 -
882.53/885.41 c 885 227726 131 1 - 0.0000 -
887.51/890.49 c 890 228672 139 1 - 0.0000 -
892.60/895.55 c 896 229778 173 1 - 0.0000 -
897.69/900.60 c 901 230937 142 1 - 0.0000 -
902.67/905.65 c 906 232162 137 1 - 0.0000 -
907.66/910.70 c 911 233341 144 1 - 0.0000 -
912.74/915.75 c 916 234554 144 1 - 0.0000 -
917.73/920.80 c 921 235763 139 1 - 0.0000 -
922.82/925.86 c 926 236989 153 1 - 0.0000 -
927.90/930.91 c 931 238178 185 1 - 0.0000 -
932.88/935.96 c 936 239556 183 1 - 0.0000 -
937.98/941.01 c 941 240795 213 1 - 0.0000 -
942.96/946.06 c 946 242074 220 1 - 0.0000 -
948.05/951.12 c 951 243324 233 1 - 0.0000 -
953.03/956.17 c 956 244676 194 1 - 0.0000 -
958.10/961.22 c 961 245994 158 1 - 0.0000 -
963.09/966.29 c 966 247179 141 1 - 0.0000 -
968.17/971.35 c 971 248284 136 1 - 0.0000 -
973.26/976.41 c 976 249319 128 1 - 0.0000 -
978.35/981.57 c 982 250411 162 1 - 0.0000 -
983.43/986.62 c 987 251551 159 1 - 0.0000 -
988.42/991.67 c 992 252704 149 1 - 0.0000 -
993.50/996.72 c 997 253871 157 1 - 0.0000 -
998.49/1001.77 c 1002 255038 140 1 - 0.0000 -
1003.57/1006.82 c 1007 256061 156 1 - 0.0000 -
1008.55/1011.86 c 1012 257275 160 1 - 0.0000 -
1013.64/1016.91 c 1017 258450 153 1 - 0.0000 -
1018.63/1021.97 c 1022 259693 150 1 - 0.0000 -
1023.72/1027.02 c 1027 260952 156 1 - 0.0000 -
1028.71/1032.06 c 1032 262285 154 1 - 0.0000 -
1033.80/1037.16 c 1037 263634 148 1 - 0.0000 -
1038.86/1042.21 c 1042 264714 159 1 - 0.0000 -
1043.85/1047.25 c 1047 265868 147 1 - 0.0000 -
1048.94/1052.30 c 1052 267131 145 1 - 0.0000 -
1053.92/1057.36 c 1057 268323 154 1 - 0.0000 -
1059.01/1062.41 c 1062 269591 147 1 - 0.0000 -
1063.99/1067.47 c 1067 270859 155 1 - 0.0000 -
1069.08/1072.52 c 1073 272076 155 1 - 0.0000 -
1074.17/1077.61 c 1078 273213 181 1 - 0.0000 -
1079.15/1082.66 c 1083 274406 145 1 - 0.0000 -
1084.23/1087.72 c 1088 275733 142 1 - 0.0000 -
1089.21/1092.76 c 1093 276962 146 1 - 0.0000 -
1094.30/1097.82 c 1098 278145 151 1 - 0.0000 -
1099.28/1102.87 c 1103 279428 146 1 - 0.0000 -
1104.36/1107.95 c 1108 280664 141 1 - 0.0000 -
1109.46/1113.03 c 1113 281949 149 1 - 0.0000 -
1114.44/1118.09 c 1118 283204 139 1 - 0.0000 -
1119.52/1123.16 c 1123 284329 143 1 - 0.0000 -
1124.58/1128.27 c 1128 285529 146 1 - 0.0000 -
1129.67/1133.39 c 1133 286660 144 1 - 0.0000 -
1134.84/1138.57 c 1139 287796 148 1 - 0.0000 -
1139.93/1143.62 c 1144 289046 205 1 - 0.0000 -
1144.91/1148.67 c 1149 290346 155 1 - 0.0000 -
1149.98/1153.72 c 1154 291600 169 1 - 0.0000 -
1155.06/1158.83 c 1159 292800 156 1 - 0.0000 -
1160.05/1163.89 c 1164 293884 164 1 - 0.0000 -
1165.13/1168.94 c 1169 294953 148 1 - 0.0000 -
1170.12/1173.99 c 1174 296125 151 1 - 0.0000 -
1175.19/1179.04 c 1179 297316 147 1 - 0.0000 -
1180.18/1184.10 c 1184 298454 161 1 - 0.0000 -
1185.27/1189.15 c 1189 299669 150 1 - 0.0000 -
1190.25/1194.19 c 1194 300808 172 1 - 0.0000 -
1195.33/1199.25 c 1199 302053 167 1 - 0.0000 -
1200.31/1204.30 c 1204 303287 156 1 - 0.0000 -
1205.40/1209.35 c 1209 304478 153 1 - 0.0000 -
1210.48/1214.41 c 1214 305673 153 1 - 0.0000 -
1215.57/1219.52 c 1220 306877 152 1 - 0.0000 -
1220.55/1224.57 c 1225 308111 153 1 - 0.0000 -
1226.54/1230.57 c 1231 309295 151 1 - 0.0000 -
1231.62/1235.65 c 1236 310574 144 1 - 0.0000 -
1236.71/1240.72 c 1241 311731 152 1 - 0.0000 -
1241.69/1245.77 c 1246 312902 150 1 - 0.0000 -
1246.88/1250.91 c 1251 314092 153 1 - 0.0000 -
1251.86/1255.99 c 1256 315343 150 1 - 0.0000 -
1256.95/1261.04 c 1261 316502 163 1 - 0.0000 -
1261.94/1266.08 c 1266 317681 159 1 - 0.0000 -
1267.03/1271.14 c 1271 318892 160 1 - 0.0000 -
1272.01/1276.20 c 1276 320120 162 1 - 0.0000 -
1277.08/1281.25 c 1281 321265 148 1 - 0.0000 -
1282.17/1286.30 c 1286 322559 150 1 - 0.0000 -
1287.15/1291.35 c 1291 323833 144 1 - 0.0000 -
1292.24/1296.40 c 1296 325010 143 1 - 0.0000 -
1297.22/1301.46 c 1301 326142 150 1 - 0.0000 -
1302.31/1306.51 c 1307 327226 168 1 - 0.0000 -
1307.30/1311.56 c 1312 328359 146 1 - 0.0000 -
1312.38/1316.61 c 1317 329517 149 1 - 0.0000 -
1317.36/1321.66 c 1322 330604 155 1 - 0.0000 -
1322.44/1326.71 c 1327 331989 156 1 - 0.0000 -
1327.44/1331.76 c 1332 333293 179 1 - 0.0000 -
1332.52/1336.80 c 1337 334742 185 1 - 0.0000 -
1337.49/1341.87 c 1342 336254 196 1 - 0.0000 -
1342.58/1346.91 c 1347 337595 165 1 - 0.0000 -
1347.66/1352.02 c 1352 339044 180 1 - 0.0000 -
1352.65/1357.07 c 1357 340593 223 1 - 0.0000 -
1357.73/1362.17 c 1362 341900 251 1 - 0.0000 -
1362.80/1367.22 c 1367 343427 286 1 - 0.0000 -
1367.78/1372.26 c 1372 345075 286 1 - 0.0000 -
1372.86/1377.34 c 1377 346675 278 1 - 0.0000 -
1377.84/1382.39 c 1382 348279 242 1 - 0.0000 -
1382.92/1387.44 c 1387 349792 211 1 - 0.0000 -
1387.90/1392.49 c 1392 351374 159 1 - 0.0000 -
1392.98/1397.54 c 1398 352923 147 1 - 0.0000 -
1397.97/1402.59 c 1403 354448 152 1 - 0.0000 -
1403.04/1407.63 c 1408 356051 149 1 - 0.0000 -
1408.23/1412.82 c 1413 357145 142 1 - 0.0000 -
1413.20/1417.87 c 1418 358310 149 1 - 0.0000 -
1418.28/1422.93 c 1423 359561 154 1 - 0.0000 -
1423.27/1427.98 c 1428 360820 145 1 - 0.0000 -
1428.34/1433.03 c 1433 361969 151 1 - 0.0000 -
1433.33/1438.11 c 1438 363268 152 1 - 0.0000 -
1438.50/1443.24 c 1443 364342 166 1 - 0.0000 -
1443.58/1448.35 c 1448 365509 159 1 - 0.0000 -
1448.56/1453.39 c 1453 366585 176 1 - 0.0000 -
1453.74/1458.55 c 1459 367752 170 1 - 0.0000 -
1458.82/1463.62 c 1464 368962 174 1 - 0.0000 -
1463.80/1468.68 c 1469 370243 169 1 - 0.0000 -
1468.89/1473.75 c 1474 371515 166 1 - 0.0000 -
1473.97/1478.84 c 1479 372688 175 1 - 0.0000 -
1478.95/1483.89 c 1484 373919 177 1 - 0.0000 -
1484.02/1488.94 c 1489 375200 172 1 - 0.0000 -
1489.00/1493.99 c 1494 376469 174 1 - 0.0000 -
1494.20/1499.15 c 1499 377786 196 1 - 0.0000 -
1499.27/1504.20 c 1504 379118 186 1 - 0.0000 -
1504.25/1509.26 c 1509 380552 186 1 - 0.0000 -
1509.33/1514.32 c 1514 381951 178 1 - 0.0000 -
1514.31/1519.38 c 1519 383211 174 1 - 0.0000 -
1519.39/1524.43 c 1524 384552 184 1 - 0.0000 -
1524.37/1529.49 c 1529 385917 203 1 - 0.0000 -
1529.45/1534.54 c 1535 387304 197 1 - 0.0000 -
1534.43/1539.59 c 1540 388661 171 1 - 0.0000 -
1539.51/1544.69 c 1545 390020 175 1 - 0.0000 -
1544.60/1549.74 c 1550 391546 181 1 - 0.0000 -
1549.68/1554.80 c 1555 393024 181 1 - 0.0000 -
1554.65/1559.85 c 1560 394434 184 1 - 0.0000 -
1559.74/1564.92 c 1565 395694 184 1 - 0.0000 -
1564.72/1569.98 c 1570 396991 183 1 - 0.0000 -
1569.81/1575.03 c 1575 398260 188 1 - 0.0000 -
1574.79/1580.08 c 1580 399476 187 1 - 0.0000 -
1579.87/1585.13 c 1585 400931 173 1 - 0.0000 -
1584.85/1590.18 c 1590 402281 191 1 - 0.0000 -
1589.93/1595.23 c 1595 403700 182 1 - 0.0000 -
1594.90/1600.28 c 1600 405140 178 1 - 0.0000 -
1599.98/1605.33 c 1605 406594 174 1 - 0.0000 -
1604.97/1610.39 c 1610 408001 179 1 - 0.0000 -
1610.04/1615.44 c 1615 409302 181 1 - 0.0000 -
1615.03/1620.49 c 1620 410659 182 1 - 0.0000 -
1620.11/1625.54 c 1626 411995 186 1 - 0.0000 -
1625.09/1630.59 c 1631 413399 187 1 - 0.0000 -
1630.16/1635.63 c 1636 414759 189 1 - 0.0000 -
1635.15/1640.69 c 1641 416091 186 1 - 0.0000 -
1640.64/1646.17 c 1646 417304 192 1 - 0.0000 -
1645.71/1651.22 c 1651 418600 200 1 - 0.0000 -
1650.69/1656.27 c 1656 419880 194 1 - 0.0000 -
1655.77/1661.32 c 1661 421131 198 1 - 0.0000 -
1660.85/1666.49 c 1666 422415 202 1 - 0.0000 -
1665.93/1671.55 c 1672 423644 204 1 - 0.0000 -
1670.91/1676.60 c 1677 424663 204 1 - 0.0000 -
1675.99/1681.65 c 1682 425863 199 1 - 0.0000 -
1681.07/1686.70 c 1687 427099 207 1 - 0.0000 -
1686.05/1691.76 c 1692 428348 204 1 - 0.0000 -
1691.14/1696.80 c 1697 429607 192 1 - 0.0000 -
1696.12/1701.86 c 1702 430808 206 1 - 0.0000 -
1701.20/1706.94 c 1707 432113 193 1 - 0.0000 -
1706.18/1711.99 c 1712 433428 192 1 - 0.0000 -
1711.26/1717.05 c 1717 434679 191 1 - 0.0000 -
1716.24/1722.10 c 1722 435934 193 1 - 0.0000 -
1721.33/1727.15 c 1727 437091 210 1 - 0.0000 -
1726.39/1732.23 c 1732 438297 203 1 - 0.0000 -
1731.37/1737.29 c 1737 439423 209 1 - 0.0000 -
1736.46/1742.35 c 1742 440521 220 1 - 0.0000 -
1741.54/1747.40 c 1747 441863 187 1 - 0.0000 -
1746.52/1752.48 c 1752 443054 175 1 - 0.0000 -
1751.59/1757.54 c 1758 444335 175 1 - 0.0000 -
1756.68/1762.62 c 1763 445673 170 1 - 0.0000 -
1761.66/1767.67 c 1768 446794 173 1 - 0.0000 -
1766.74/1772.72 c 1773 448006 186 1 - 0.0000 -
1771.72/1777.77 c 1778 449310 169 1 - 0.0000 -
1776.80/1782.82 c 1783 450458 167 1 - 0.0000 -
1781.89/1787.99 c 1788 451798 168 1 - 0.0000 -
1786.97/1793.04 c 1793 452896 170 1 - 0.0000 -
1791.95/1798.09 c 1798 454010 171 1 - 0.0000 -
1797.04/1803.16 c 1803 455154 173 1 - 0.0000 -
1802.11/1808.21 c 1808 456424 164 1 - 0.0000 -
1807.20/1813.32 c 1813 457374 178 1 - 0.0000 -
1812.28/1818.40 c 1818 458518 169 1 - 0.0000 -
1817.27/1823.47 c 1823 459661 205 1 - 0.0000 -
1822.35/1828.52 c 1829 460770 178 1 - 0.0000 -
1827.44/1833.64 c 1834 461987 175 1 - 0.0000 -
1832.42/1838.69 c 1839 463201 169 1 - 0.0000 -
1837.51/1843.75 c 1844 464424 177 1 - 0.0000 -
1842.49/1848.80 c 1849 465566 175 1 - 0.0000 -
1847.67/1853.95 c 1854 466815 184 1 - 0.0000 -
1852.78/1859.02 c 1859 468004 222 1 - 0.0000 -
1857.76/1864.07 c 1864 469163 207 1 - 0.0000 -
1862.84/1869.11 c 1869 470304 248 1 - 0.0000 -
1867.83/1874.17 c 1874 471583 257 1 - 0.0000 -
1872.90/1879.22 c 1879 472943 215 1 - 0.0000 -
1877.89/1884.27 c 1884 474321 178 1 - 0.0000 -
1882.97/1889.32 c 1889 475575 174 1 - 0.0000 -
1887.96/1894.38 c 1894 476813 184 1 - 0.0000 -
1893.04/1899.43 c 1899 478186 179 1 - 0.0000 -
1898.03/1904.48 c 1904 479551 179 1 - 0.0000 -
1903.12/1909.53 c 1910 480948 178 1 - 0.0000 -
1908.10/1914.58 c 1915 482254 184 1 - 0.0000 -
1913.19/1919.63 c 1920 483462 181 1 - 0.0000 -
1918.17/1924.68 c 1925 484604 170 1 - 0.0000 -
1923.25/1929.76 c 1930 485694 175 1 - 0.0000 -
1928.35/1934.81 c 1935 486853 167 1 - 0.0000 -
1933.33/1939.86 c 1940 488126 168 1 - 0.0000 -
1938.41/1944.91 c 1945 489406 172 1 - 0.0000 -
1943.40/1949.96 c 1950 490632 182 1 - 0.0000 -
1948.49/1955.11 c 1955 491946 173 1 - 0.0000 -
1953.59/1960.16 c 1960 493217 174 1 - 0.0000 -
1958.66/1965.22 c 1965 494492 172 1 - 0.0000 -
1963.74/1970.34 c 1970 495704 183 1 - 0.0000 -
1968.72/1975.39 c 1975 497009 178 1 - 0.0000 -
1973.81/1980.43 c 1980 498239 182 1 - 0.0000 -
1978.79/1985.49 c 1985 499582 175 1 - 0.0000 -
1983.88/1990.54 c 1991 500897 170 1 - 0.0000 -
1988.97/1995.65 c 1996 502197 179 1 - 0.0000 -
1994.05/2000.73 c 2001 503500 181 1 - 0.0000 -
1999.03/2005.79 c 2006 504817 172 1 - 0.0000 -
2004.12/2010.83 c 2011 506075 169 1 - 0.0000 -
2009.11/2015.89 c 2016 507279 170 1 - 0.0000 -
2014.30/2021.07 c 2021 508509 168 1 - 0.0000 -
2019.39/2026.15 c 2026 509763 177 1 - 0.0000 -
2024.46/2031.20 c 2031 511053 170 1 - 0.0000 -
2029.44/2036.25 c 2036 512385 175 1 - 0.0000 -
2034.54/2041.30 c 2041 513712 163 1 - 0.0000 -
2039.52/2046.35 c 2046 515054 167 1 - 0.0000 -
2044.50/2051.39 c 2051 516399 161 1 - 0.0000 -
2049.59/2056.44 c 2056 517567 183 1 - 0.0000 -
2054.57/2061.49 c 2062 518755 203 1 - 0.0000 -
2059.66/2066.58 c 2067 519962 189 1 - 0.0000 -
2064.75/2071.63 c 2072 521206 191 1 - 0.0000 -
2069.73/2076.69 c 2077 522444 172 1 - 0.0000 -
2075.02/2081.91 c 2082 523645 163 1 - 0.0000 -
2080.00/2086.95 c 2087 524810 165 1 - 0.0000 -
2085.09/2092.01 c 2092 525960 167 1 - 0.0000 -
2090.08/2097.06 c 2097 527045 157 1 - 0.0000 -
2095.06/2102.10 c 2102 528208 179 1 - 0.0000 -
2100.14/2107.15 c 2107 529538 176 1 - 0.0000 -
2105.22/2112.21 c 2112 530824 193 1 - 0.0000 -
2110.20/2117.26 c 2117 532098 211 1 - 0.0000 -
2115.28/2122.30 c 2122 533409 181 1 - 0.0000 -
2120.26/2127.36 c 2127 534674 178 1 - 0.0000 -
2125.34/2132.41 c 2132 536010 173 1 - 0.0000 -
2130.32/2137.48 c 2137 537409 163 1 - 0.0000 -
2135.40/2142.53 c 2143 538866 190 1 - 0.0000 -
2140.38/2147.58 c 2148 540304 192 1 - 0.0000 -
2145.46/2152.63 c 2153 541851 171 1 - 0.0000 -
2150.44/2157.68 c 2158 543137 156 1 - 0.0000 -
2155.53/2162.73 c 2163 544324 158 1 - 0.0000 -
2160.50/2167.78 c 2168 545577 160 1 - 0.0000 -
2165.59/2172.82 c 2173 546827 165 1 - 0.0000 -
2170.57/2177.88 c 2178 548040 196 1 - 0.0000 -
2175.65/2182.93 c 2183 549204 207 1 - 0.0000 -
2180.64/2187.98 c 2188 550440 247 1 - 0.0000 -
2185.73/2193.07 c 2193 551747 234 1 - 0.0000 -
2190.81/2198.12 c 2198 553281 224 1 - 0.0000 -
2195.88/2203.21 c 2203 554534 158 1 - 0.0000 -
2200.88/2208.27 c 2208 555767 165 1 - 0.0000 -
2205.96/2213.39 c 2213 556908 174 1 - 0.0000 -
2211.94/2219.33 c 2219 557804 161 1 - 0.0000 -
2216.93/2224.38 c 2224 558931 168 1 - 0.0000 -
2222.02/2229.43 c 2229 560109 176 1 - 0.0000 -
2227.10/2234.52 c 2235 561275 170 1 - 0.0000 -
2232.08/2239.56 c 2240 562379 175 1 - 0.0000 -
2237.17/2244.62 c 2245 563578 173 1 - 0.0000 -
2242.46/2249.94 c 2250 564566 183 1 - 0.0000 -
2247.44/2255.00 c 2255 565868 179 1 - 0.0000 -
2252.54/2260.10 c 2260 567156 179 1 - 0.0000 -
2257.62/2265.15 c 2265 568304 187 1 - 0.0000 -
2262.69/2270.20 c 2270 569427 191 1 - 0.0000 -
2267.68/2275.25 c 2275 570640 182 1 - 0.0000 -
2272.76/2280.38 c 2280 571936 172 1 - 0.0000 -
2277.85/2285.43 c 2285 573256 175 1 - 0.0000 -
2282.84/2290.47 c 2290 574537 181 1 - 0.0000 -
2287.92/2295.56 c 2296 575684 182 1 - 0.0000 -
2293.01/2300.62 c 2301 576860 184 1 - 0.0000 -
2298.09/2305.71 c 2306 577739 192 1 - 0.0000 -
2303.08/2310.79 c 2311 578904 193 1 - 0.0000 -
2308.16/2315.84 c 2316 580033 189 1 - 0.0000 -
2313.25/2320.90 c 2321 581198 180 1 - 0.0000 -
2318.23/2325.96 c 2326 582375 188 1 - 0.0000 -
2323.32/2331.02 c 2331 583517 193 1 - 0.0000 -
2328.31/2336.08 c 2336 584669 197 1 - 0.0000 -
2333.39/2341.13 c 2341 585831 202 1 - 0.0000 -
2338.38/2346.18 c 2346 587210 196 1 - 0.0000 -
2343.45/2351.23 c 2351 588323 201 1 - 0.0000 -
2348.43/2356.29 c 2356 589578 201 1 - 0.0000 -
2353.52/2361.33 c 2361 590895 198 1 - 0.0000 -
2358.50/2366.39 c 2366 591872 202 1 - 0.0000 -
2363.60/2371.45 c 2371 592985 213 1 - 0.0000 -
2368.67/2376.50 c 2376 594108 211 1 - 0.0000 -
2373.67/2381.55 c 2382 595336 216 1 - 0.0000 -
2378.75/2386.60 c 2387 596585 215 1 - 0.0000 -
2383.83/2391.75 c 2392 597687 215 1 - 0.0000 -
2388.91/2396.81 c 2397 598864 208 1 - 0.0000 -
2393.91/2401.85 c 2402 599956 207 1 - 0.0000 -
2398.99/2406.93 c 2407 601123 206 1 - 0.0000 -
2403.98/2411.98 c 2412 602301 202 1 - 0.0000 -
2409.07/2417.04 c 2417 603459 211 1 - 0.0000 -
2414.05/2422.09 c 2422 604609 222 1 - 0.0000 -
2419.13/2427.13 c 2427 605839 227 1 - 0.0000 -
2424.11/2432.19 c 2432 607185 224 1 - 0.0000 -
2429.18/2437.24 c 2437 608490 221 1 - 0.0000 -
2434.15/2442.28 c 2442 609667 240 1 - 0.0000 -
2439.23/2447.34 c 2447 610941 257 1 - 0.0000 -
2444.32/2452.40 c 2452 611986 243 1 - 0.0000 -
2449.30/2457.45 c 2457 613175 241 1 - 0.0000 -
2454.27/2462.49 c 2462 614333 238 1 - 0.0000 -
2459.45/2467.65 c 2468 615607 244 1 - 0.0000 -
2464.44/2472.69 c 2473 616802 237 1 - 0.0000 -
2469.52/2477.76 c 2478 617935 223 1 - 0.0000 -
2474.60/2482.81 c 2483 618997 216 1 - 0.0000 -
2479.59/2487.87 c 2488 620189 233 1 - 0.0000 -
2484.66/2492.92 c 2493 621331 226 1 - 0.0000 -
2489.94/2498.25 c 2498 622153 270 1 - 0.0000 -
2495.03/2503.30 c 2503 623226 258 1 - 0.0000 -
2500.01/2508.39 c 2508 624420 256 1 - 0.0000 -
2505.10/2513.49 c 2513 625573 252 1 - 0.0000 -
2510.19/2518.54 c 2519 626692 255 1 - 0.0000 -
2515.37/2523.73 c 2524 627661 272 1 - 0.0000 -
2520.35/2528.79 c 2529 628757 282 1 - 0.0000 -
2525.45/2533.88 c 2534 629864 280 1 - 0.0000 -
2530.53/2538.92 c 2539 631060 288 1 - 0.0000 -
2535.51/2543.99 c 2544 632277 290 1 - 0.0000 -
2540.60/2549.03 c 2549 633409 292 1 - 0.0000 -
2545.59/2554.09 c 2554 634607 299 1 - 0.0000 -
2550.67/2559.15 c 2559 635813 313 1 - 0.0000 -
2555.75/2564.20 c 2564 636890 293 1 - 0.0000 -
2560.83/2569.35 c 2569 637994 332 1 - 0.0000 -
2566.32/2574.88 c 2575 638897 306 1 - 0.0000 -
2571.41/2579.94 c 2580 640069 308 1 - 0.0000 -
2576.39/2584.99 c 2585 641215 309 1 - 0.0000 -
2581.49/2590.04 c 2590 642352 310 1 - 0.0000 -
2587.06/2595.61 c 2596 642800 330 1 - 0.0000 -
2592.05/2600.66 c 2601 643898 334 1 - 0.0000 -
2597.13/2605.71 c 2606 644984 325 1 - 0.0000 -
2602.11/2610.76 c 2611 646171 327 1 - 0.0000 -
2607.20/2615.81 c 2616 647381 324 1 - 0.0000 -
2612.19/2620.85 c 2621 648478 333 1 - 0.0000 -
2617.27/2625.91 c 2626 649723 332 1 - 0.0000 -
2622.26/2630.96 c 2631 650849 327 1 - 0.0000 -
2627.24/2636.01 c 2636 652023 325 1 - 0.0000 -
2632.33/2641.09 c 2641 653233 340 1 - 0.0000 -
2637.42/2646.14 c 2646 654540 338 1 - 0.0000 -
2642.40/2651.19 c 2651 655699 331 1 - 0.0000 -
2647.48/2656.24 c 2656 656797 342 1 - 0.0000 -
2652.46/2661.29 c 2661 657926 360 1 - 0.0000 -
2657.55/2666.33 c 2666 659177 351 1 - 0.0000 -
2662.63/2671.43 c 2671 660383 353 1 - 0.0000 -
2667.62/2676.49 c 2676 661550 363 1 - 0.0000 -
2672.70/2681.59 c 2682 662725 346 1 - 0.0000 -
2677.89/2686.70 c 2687 663994 353 1 - 0.0000 -
2682.87/2691.75 c 2692 665248 345 1 - 0.0000 -
2687.86/2696.80 c 2697 666386 344 1 - 0.0000 -
2692.94/2701.85 c 2702 667506 350 1 - 0.0000 -
2698.02/2706.90 c 2707 668615 347 1 - 0.0000 -
2703.02/2711.98 c 2712 669756 345 1 - 0.0000 -
2708.11/2717.03 c 2717 670925 345 1 - 0.0000 -
2713.10/2722.08 c 2722 671982 362 1 - 0.0000 -
2718.18/2727.13 c 2727 673084 349 1 - 0.0000 -
2723.16/2732.18 c 2732 674268 346 1 - 0.0000 -
2728.24/2737.23 c 2737 675456 359 1 - 0.0000 -
2733.22/2742.28 c 2742 676693 358 1 - 0.0000 -
2738.31/2747.33 c 2747 677896 348 1 - 0.0000 -
2743.29/2752.39 c 2752 679024 359 1 - 0.0000 -
2748.38/2757.45 c 2757 680170 360 1 - 0.0000 -
2753.37/2762.50 c 2762 681392 351 1 - 0.0000 -
2758.45/2767.55 c 2768 682596 354 1 - 0.0000 -
2763.53/2772.60 c 2773 683774 340 1 - 0.0000 -
2768.72/2777.83 c 2778 684775 414 1 - 0.0000 -
2773.71/2782.89 c 2783 685954 442 1 - 0.0000 -
2778.79/2787.94 c 2788 687229 351 1 - 0.0000 -
2783.77/2792.99 c 2793 688345 355 1 - 0.0000 -
2788.88/2798.04 c 2798 689467 383 1 - 0.0000 -
2793.86/2803.09 c 2803 690636 379 1 - 0.0000 -
2798.95/2808.14 c 2808 691830 384 1 - 0.0000 -
2803.93/2813.19 c 2813 693009 352 1 - 0.0000 -
2809.00/2818.24 c 2818 694190 367 1 - 0.0000 -
2813.99/2823.29 c 2823 695467 371 1 - 0.0000 -
2819.07/2828.34 c 2828 696745 357 1 - 0.0000 -
2824.05/2833.39 c 2833 697964 358 1 - 0.0000 -
2829.14/2838.43 c 2838 699152 357 1 - 0.0000 -
2834.13/2843.48 c 2843 700395 354 1 - 0.0000 -
2839.21/2848.54 c 2849 701724 351 1 - 0.0000 -
2844.30/2853.60 c 2854 702930 359 1 - 0.0000 -
2849.28/2858.66 c 2859 704149 351 1 - 0.0000 -
2854.37/2863.71 c 2864 705269 359 1 - 0.0000 -
2859.45/2868.80 c 2869 706403 355 1 - 0.0000 -
2864.44/2873.84 c 2874 707603 349 1 - 0.0000 -
2869.52/2878.93 c 2879 708754 361 1 - 0.0000 -
2874.51/2883.98 c 2884 709805 388 1 - 0.0000 -
2879.60/2889.02 c 2889 711016 378 1 - 0.0000 -
2884.59/2894.08 c 2894 712224 391 1 - 0.0000 -
2889.68/2899.12 c 2899 713551 383 1 - 0.0000 -
2894.66/2904.18 c 2904 714879 377 1 - 0.0000 -
2899.73/2909.23 c 2909 716194 343 1 - 0.0000 -
2904.72/2914.29 c 2914 717367 353 1 - 0.0000 -
2909.80/2919.34 c 2919 718707 361 1 - 0.0000 -
2914.79/2924.39 c 2924 720094 339 1 - 0.0000 -
2919.87/2929.46 c 2929 721374 348 1 - 0.0000 -
2924.96/2934.53 c 2935 722491 350 1 - 0.0000 -
2929.94/2939.58 c 2940 723564 368 1 - 0.0000 -
2935.03/2944.63 c 2945 724744 355 1 - 0.0000 -
2940.02/2949.68 c 2950 726005 362 1 - 0.0000 -
2945.10/2954.73 c 2955 727329 362 1 - 0.0000 -
2950.08/2959.78 c 2960 728363 369 1 - 0.0000 -
2955.48/2965.12 c 2965 729579 356 1 - 0.0000 -
2960.47/2970.18 c 2970 730713 366 1 - 0.0000 -
2965.93/2975.62 c 2976 731944 369 1 - 0.0000 -
2970.93/2980.67 c 2981 733223 369 1 - 0.0000 -
2976.01/2985.72 c 2986 734553 383 1 - 0.0000 -
2981.00/2990.77 c 2991 735875 377 1 - 0.0000 -
2986.08/2995.82 c 2996 737187 371 1 - 0.0000 -
2991.06/3000.87 c 3001 738489 372 1 - 0.0000 -
2996.15/3005.92 c 3006 739782 367 1 - 0.0000 -
3001.13/3010.97 c 3011 741035 382 1 - 0.0000 -
3006.22/3016.02 c 3016 742439 375 1 - 0.0000 -
3011.20/3021.07 c 3021 743769 379 1 - 0.0000 -
3016.29/3026.12 c 3026 744946 384 1 - 0.0000 -
3021.28/3031.20 c 3031 746214 393 1 - 0.0000 -
3026.34/3036.25 c 3036 747553 392 1 - 0.0000 -
3031.33/3041.29 c 3041 748915 387 1 - 0.0000 -
3036.41/3046.34 c 3046 750210 393 1 - 0.0000 -
3041.50/3051.40 c 3051 751416 406 1 - 0.0000 -
3046.48/3056.44 c 3056 752686 394 1 - 0.0000 -
3051.47/3061.50 c 3062 753820 395 1 - 0.0000 -
3056.56/3066.55 c 3067 755027 373 1 - 0.0000 -
3061.64/3071.60 c 3072 756181 378 1 - 0.0000 -
3066.63/3076.65 c 3077 757361 367 1 - 0.0000 -
3071.70/3081.70 c 3082 758565 372 1 - 0.0000 -
3076.69/3086.75 c 3087 759822 372 1 - 0.0000 -
3081.76/3091.80 c 3092 761049 380 1 - 0.0000 -
3086.75/3096.89 c 3097 762305 377 1 - 0.0000 -
3091.83/3101.94 c 3102 763525 370 1 - 0.0000 -
3096.81/3106.99 c 3107 764615 392 1 - 0.0000 -
3101.90/3112.04 c 3112 765809 405 1 - 0.0000 -
3106.88/3117.09 c 3117 766972 385 1 - 0.0000 -
3112.35/3122.51 c 3123 768034 384 1 - 0.0000 -
3117.33/3127.56 c 3128 769122 383 1 - 0.0000 -
3122.41/3132.62 c 3133 770256 374 1 - 0.0000 -
3127.40/3137.68 c 3138 771591 393 1 - 0.0000 -
3132.48/3142.73 c 3143 772998 385 1 - 0.0000 -
3137.46/3147.78 c 3148 774253 390 1 - 0.0000 -
3142.53/3152.83 c 3153 775462 381 1 - 0.0000 -
3147.52/3157.88 c 3158 776549 388 1 - 0.0000 -
3152.60/3162.93 c 3163 777694 379 1 - 0.0000 -
3157.58/3167.97 c 3168 778851 373 1 - 0.0000 -
3162.67/3173.04 c 3173 780084 387 1 - 0.0000 -
3167.65/3178.11 c 3178 781490 381 1 - 0.0000 -
3172.74/3183.15 c 3183 782639 402 1 - 0.0000 -
3177.80/3188.21 c 3188 783943 369 1 - 0.0000 -
3182.78/3193.25 c 3193 785190 378 1 - 0.0000 -
3187.86/3198.37 c 3198 786164 370 1 - 0.0000 -
3193.15/3203.64 c 3204 787374 370 1 - 0.0000 -
3198.13/3208.68 c 3209 788443 367 1 - 0.0000 -
3203.21/3213.74 c 3214 789607 370 1 - 0.0000 -
3208.19/3218.79 c 3219 790794 369 1 - 0.0000 -
3213.27/3223.83 c 3224 792110 377 1 - 0.0000 -
3218.25/3228.89 c 3229 793337 373 1 - 0.0000 -
3223.33/3233.94 c 3234 794489 374 1 - 0.0000 -
3228.31/3238.99 c 3239 795715 362 1 - 0.0000 -
3233.40/3244.04 c 3244 796942 376 1 - 0.0000 -
3238.38/3249.08 c 3249 798259 370 1 - 0.0000 -
3243.47/3254.14 c 3254 799375 364 1 - 0.0000 -
3248.46/3259.19 c 3259 800520 368 1 - 0.0000 -
3253.53/3264.24 c 3264 801752 385 1 - 0.0000 -
3258.62/3269.30 c 3269 802912 419 1 - 0.0000 -
3263.60/3274.36 c 3274 804146 414 1 - 0.0000 -
3268.69/3279.40 c 3279 805308 399 1 - 0.0000 -
3273.67/3284.47 c 3284 806549 360 1 - 0.0000 -
3278.75/3289.53 c 3290 807685 373 1 - 0.0000 -
3283.74/3294.58 c 3295 808802 376 1 - 0.0000 -
3288.82/3299.63 c 3300 809980 389 1 - 0.0000 -
3293.81/3304.68 c 3305 811100 365 1 - 0.0000 -
3298.90/3309.72 c 3310 812231 369 1 - 0.0000 -
3304.19/3315.08 c 3315 813344 362 1 - 0.0000 -
3309.36/3320.23 c 3320 814598 360 1 - 0.0000 -
3314.36/3325.27 c 3325 815834 363 1 - 0.0000 -
3319.44/3330.33 c 3330 817045 366 1 - 0.0000 -
3324.52/3335.42 c 3335 818279 362 1 - 0.0000 -
3329.51/3340.48 c 3340 819541 385 1 - 0.0000 -
3334.59/3345.53 c 3346 820770 369 1 - 0.0000 -
3339.57/3350.57 c 3351 822042 367 1 - 0.0000 -
3344.67/3355.63 c 3356 823182 382 1 - 0.0000 -
3349.65/3360.68 c 3361 824507 376 1 - 0.0000 -
3354.74/3365.72 c 3366 825819 361 1 - 0.0000 -
3360.03/3371.03 c 3371 826905 377 1 - 0.0000 -
3365.02/3376.08 c 3376 827892 411 1 - 0.0000 -
3370.10/3381.13 c 3381 829010 405 1 - 0.0000 -
3375.09/3386.18 c 3386 830156 427 1 - 0.0000 -
3380.26/3391.31 c 3391 831367 413 1 - 0.0000 -
3385.25/3396.37 c 3396 832412 404 1 - 0.0000 -
3390.33/3401.42 c 3401 833435 427 1 - 0.0000 -
3395.32/3406.47 c 3406 834492 413 1 - 0.0000 -
3400.40/3411.52 c 3412 835527 420 1 - 0.0000 -
3405.39/3416.59 c 3417 836698 408 1 - 0.0000 -
3410.47/3421.64 c 3422 837999 363 1 - 0.0000 -
3415.46/3426.69 c 3427 839145 372 1 - 0.0000 -
3420.55/3431.74 c 3432 840355 368 1 - 0.0000 -
3425.63/3436.80 c 3437 841533 368 1 - 0.0000 -
3430.61/3441.85 c 3442 842695 370 1 - 0.0000 -
3435.70/3446.91 c 3447 843725 402 1 - 0.0000 -
3440.69/3451.96 c 3452 845013 390 1 - 0.0000 -
3445.78/3457.02 c 3457 846211 379 1 - 0.0000 -
3450.76/3462.08 c 3462 847445 387 1 - 0.0000 -
3455.85/3467.13 c 3467 848716 391 1 - 0.0000 -
3460.83/3472.18 c 3472 850074 394 1 - 0.0000 -
3465.91/3477.23 c 3477 851391 381 1 - 0.0000 -
3470.89/3482.29 c 3482 852530 375 1 - 0.0000 -
3475.98/3487.34 c 3487 853787 372 1 - 0.0000 -
3480.96/3492.39 c 3492 855091 388 1 - 0.0000 -
3486.05/3497.44 c 3497 856458 370 1 - 0.0000 -
3491.13/3502.51 c 3503 857615 372 1 - 0.0000 -
3496.11/3507.58 c 3508 858723 370 1 - 0.0000 -
3501.19/3512.63 c 3513 859841 379 1 - 0.0000 -
3506.27/3517.74 c 3518 860943 364 1 - 0.0000 -
3511.25/3522.79 c 3523 862143 364 1 - 0.0000 -
3516.34/3527.84 c 3528 863321 364 1 - 0.0000 -
3521.41/3532.90 c 3533 864556 375 1 - 0.0000 -
3526.50/3538.03 c 3538 865884 372 1 - 0.0000 -
3531.48/3543.08 c 3543 867087 376 1 - 0.0000 -
3536.57/3548.13 c 3548 868282 370 1 - 0.0000 -
3541.55/3553.19 c 3553 869478 374 1 - 0.0000 -
3546.62/3558.24 c 3558 870664 367 1 - 0.0000 -
3551.60/3563.29 c 3563 871930 372 1 - 0.0000 -
3557.18/3568.85 c 3569 873064 368 1 - 0.0000 -
3562.25/3573.91 c 3574 874300 386 1 - 0.0000 -
3567.23/3578.97 c 3579 875657 367 1 - 0.0000 -
3572.33/3584.01 c 3584 876787 361 1 - 0.0000 -
3577.31/3589.10 c 3589 877830 350 1 - 0.0000 -
3582.39/3594.15 c 3594 879035 360 1 - 0.0000 -
3587.47/3599.23 c 3599 880331 368 1 - 0.0000 -
3588.28/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.28/3600.06 c Total Time : 3600.0500
3588.28/3600.06 c solving : 3600.0500
3588.28/3600.06 c presolving : 0.2537 (included in solving)
3588.28/3600.06 c B&B Tree :
3588.28/3600.06 c nodes (total) : 1
3588.28/3600.06 c Solution :
3588.28/3600.06 c Solutions found : 0
3588.28/3600.06 c Primal Bound : -
3588.28/3600.06 c Dual Bound : +0.00000000000000e+00
3588.28/3600.06 c Gap : -
3588.28/3600.07 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: 64096 MiB (59535 MiB free)
memory of node 1: 64473 MiB (61600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451500-1721425215/watcher-4451500-1721425215 -o /tmp/evaluation-result-4451500-1721425215/solver-4451500-1721425215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033552 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451500-1721425215.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
Current StackSize limit: 8192 KiB
solver pid=1036205, runsolver pid=1036202
[startup+0.100784 s]*
/proc/loadavg: 4.10 4.39 4.31 6/248 1036206
/proc/meminfo: memFree=124019868/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=41108 memory=30664 CPUtime=0.1 cores=5,7
/proc/1036205/stat : 1036205 (fscip) R 1036202 1036205 1033539 0 -1 4194304 6165 0 0 0 8 2 0 0 20 0 1 0 194680269 42094592 7666 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 10277 7666 2670 3032 0 6677 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 30664 KiB
[startup+0.212947 s]*
/proc/loadavg: 4.10 4.39 4.31 7/248 1036206
/proc/meminfo: memFree=124019224/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=44024 memory=33420 CPUtime=0.21 cores=5,7
/proc/1036205/stat : 1036205 (fscip) R 1036202 1036205 1033539 0 -1 4194304 6866 0 0 0 19 2 0 0 20 0 1 0 194680269 45080576 8355 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 11006 8355 2702 3032 0 7406 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44024 KiB
Current children cumulated memory: 33420 KiB
[startup+0.311621 s]*
/proc/loadavg: 4.10 4.39 4.31 5/249 1036207
/proc/meminfo: memFree=124001948/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=150296 memory=56164 CPUtime=0.31 cores=5,7
/proc/1036205/stat : 1036205 (fscip) R 1036202 1036205 1033539 0 -1 4194304 12518 0 0 0 27 4 0 0 20 0 2 0 194680269 153903104 14041 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 37574 14041 2750 3032 0 17622 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=150296 memory=-7380095196913167205 CPUtime=0 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 194680300 153903104 14041 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 150296 KiB
Current children cumulated memory: 56164 KiB
[startup+0.700347 s]
/proc/loadavg: 4.10 4.39 4.31 5/250 1036208
/proc/meminfo: memFree=123970364/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=179372 memory=97048 CPUtime=0.66 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 22859 0 0 0 60 6 0 0 20 0 3 0 194680269 183676928 24262 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 44843 24262 2894 3032 0 30301 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=179372 memory=29488 CPUtime=0.34 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 9562 0 0 0 32 2 0 0 20 0 3 0 194680300 183676928 24262 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=179372 memory=257 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194680305 183676928 24262 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 179372 KiB
Current children cumulated memory: 97048 KiB
[startup+1.50038 s]
/proc/loadavg: 4.10 4.39 4.31 5/250 1036208
/proc/meminfo: memFree=123950652/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=179504 memory=98344 CPUtime=1.47 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 26225 0 0 0 140 7 0 0 20 0 3 0 194680269 183812096 24586 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 44876 24586 2926 3032 0 30614 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=179504 memory=257 CPUtime=1.14 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 12920 0 0 0 111 3 0 0 20 0 3 0 194680300 183812096 24586 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=179504 memory=0 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194680305 183812096 24586 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 179504 KiB
Current children cumulated memory: 98344 KiB
[startup+3.11231 s]
/proc/loadavg: 4.10 4.38 4.30 5/250 1036208
/proc/meminfo: memFree=123927980/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=181436 memory=115908 CPUtime=3.08 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 36084 0 0 0 299 9 0 0 20 0 3 0 194680269 185790464 28977 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 45359 28977 2926 3032 0 35505 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=181436 memory=0 CPUtime=2.74 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 22779 0 0 0 270 4 0 0 20 0 3 0 194680300 185790464 28977 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=181436 memory=0 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194680305 185790464 28977 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 181436 KiB
Current children cumulated memory: 115908 KiB
[startup+6.30039 s]
/proc/loadavg: 4.10 4.38 4.30 5/250 1036210
/proc/meminfo: memFree=123892028/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=181436 memory=138520 CPUtime=6.25 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 60347 0 0 0 614 11 0 0 20 0 3 0 194680269 185790464 34630 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 45359 34630 2926 3032 0 41256 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=181436 memory=6369592258574706541 CPUtime=5.92 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 46996 0 0 0 585 7 0 0 20 0 3 0 194680300 185790464 34630 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=181436 memory=130424 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 194680305 185790464 34630 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 181436 KiB
Current children cumulated memory: 138520 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.37 4.30 5/250 1036210
/proc/meminfo: memFree=123857224/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=247104 memory=173132 CPUtime=12.64 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 86849 0 0 0 1249 15 0 0 20 0 3 0 194680269 253034496 43283 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 61776 43283 2974 3032 0 50436 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=247104 memory=130424 CPUtime=12.3 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 73477 0 0 0 1220 10 0 0 20 0 3 0 194680300 253034496 43283 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=247104 memory=137764 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 194680305 253034496 43283 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 247104 KiB
Current children cumulated memory: 173132 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.36 4.30 5/252 1036217
/proc/meminfo: memFree=123824472/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=247236 memory=182632 CPUtime=25.4 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 146374 0 0 0 2519 21 0 0 20 0 3 0 194680269 253169664 45658 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 61809 45658 2974 3032 0 53359 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=247236 memory=184208 CPUtime=25.06 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 132954 0 0 0 2490 16 0 0 20 0 3 0 194680300 253169664 45658 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=247236 memory=50128 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 194680305 253169664 45658 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 247236 KiB
Current children cumulated memory: 182632 KiB
[startup+51.1126 s]
/proc/loadavg: 4.04 4.33 4.29 5/252 1036220
/proc/meminfo: memFree=123744460/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=247236 memory=194276 CPUtime=50.92 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 185919 0 0 0 5066 26 0 0 20 0 3 0 194680269 253169664 48569 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 61809 48569 2974 3032 0 56134 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=247236 memory=194276 CPUtime=50.59 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 172445 0 0 0 5037 22 0 0 20 0 3 0 194680300 253169664 48569 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=247236 memory=194276 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 194680305 253169664 48569 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 247236 KiB
Current children cumulated memory: 194276 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.28 4.27 5/252 1036276
/proc/meminfo: memFree=123586476/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=313316 memory=226484 CPUtime=101.9 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 244811 0 0 0 10156 34 0 0 20 0 3 0 194680269 320835584 56621 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 78329 56621 2974 3032 0 67633 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=313316 memory=12740 CPUtime=101.57 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 231265 0 0 0 10127 30 0 0 20 0 3 0 194680300 320835584 56621 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=313316 memory=196552 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 194680305 320835584 56621 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 313316 KiB
Current children cumulated memory: 226484 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.24 4.26 5/252 1036288
/proc/meminfo: memFree=123434688/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=313316 memory=226684 CPUtime=161.66 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 261488 0 0 0 16127 39 0 0 20 0 3 0 194680269 320835584 56671 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 78329 56671 2974 3032 0 67633 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=313316 memory=226580 CPUtime=161.32 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 247922 0 0 0 16097 35 0 0 20 0 3 0 194680300 320835584 56671 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=313316 memory=226684 CPUtime=0 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 194680305 320835584 56671 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 313316 KiB
Current children cumulated memory: 226684 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.23 4.25 5/252 1036298
/proc/meminfo: memFree=123259132/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=313996 memory=227868 CPUtime=221.43 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 276851 0 0 0 22098 45 0 0 20 0 3 0 194680269 321531904 56967 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 78499 56967 2974 3032 0 67803 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=313996 memory=227868 CPUtime=221.08 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 263263 0 0 0 22068 40 0 0 20 0 3 0 194680300 321531904 56967 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
################
# More data... #
################
/proc/1036205/statm: 118131 97505 2974 3032 0 104127 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=472524 memory=389212 CPUtime=3390.56 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 635786 0 0 0 338820 236 0 0 20 0 3 0 194680300 483864576 97505 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=472524 memory=389880 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 483864576 97505 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3391.23 s
Current children cumulated vsize: 472524 KiB
Current children cumulated memory: 390020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.21 5/249 1038632
/proc/meminfo: memFree=118718816/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=472524 memory=390820 CPUtime=3451.05 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 660476 0 0 0 344849 256 0 0 20 0 3 0 194680269 483864576 97705 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118131 97705 2974 3032 0 104904 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=472524 memory=389212 CPUtime=3450.38 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 646113 0 0 0 344799 239 0 0 20 0 3 0 194680300 483864576 97705 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=472524 memory=390820 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 483864576 97705 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 472524 KiB
Current children cumulated memory: 390820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.19 4.20 5/249 1038642
/proc/meminfo: memFree=118654840/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=472524 memory=391348 CPUtime=3510.85 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 667082 0 0 0 350825 260 0 0 20 0 3 0 194680269 483864576 97837 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118131 97837 2974 3032 0 104904 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=472524 memory=391004 CPUtime=3510.17 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 652705 0 0 0 350774 243 0 0 20 0 3 0 194680300 483864576 97837 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=472524 memory=1976 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 483864576 97837 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3510.85 s
Current children cumulated vsize: 472524 KiB
Current children cumulated memory: 391348 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.18 4.20 5/249 1038653
/proc/meminfo: memFree=118595964/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391684 CPUtime=3570.62 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674406 0 0 0 356797 265 0 0 20 0 3 0 194680269 485937152 97921 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97921 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=5624 CPUtime=3569.93 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660014 0 0 0 356746 247 0 0 20 0 3 0 194680300 485937152 97921 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=12740 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97921 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391684 KiB
[startup+3600.08 s]
# the end of solver process 1036205 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.68 s, system=2.67158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=118595400/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391684 CPUtime=3572.33 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674410 0 0 0 356968 265 0 0 20 0 3 0 194680269 485937152 97921 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97921 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=-7167897470117188198 CPUtime=3571.64 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660018 0 0 0 356917 247 0 0 20 0 3 0 194680300 485937152 97921 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=33064 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97921 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391684 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.18 4.19 5/244 1038812
/proc/meminfo: memFree=123194464/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391816 CPUtime=3578.69 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674473 0 0 0 357604 265 0 0 20 0 3 0 194680269 485937152 97954 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97954 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=391684 CPUtime=3578.01 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660081 0 0 0 357553 248 0 0 20 0 3 0 194680300 485937152 97954 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=12740 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97954 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3578.69 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391816 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.19 4.20 5/249 1038848
/proc/meminfo: memFree=122999480/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391992 CPUtime=3585.08 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674523 0 0 0 358242 266 0 0 20 0 3 0 194680269 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97998 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=12740 CPUtime=3584.39 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660131 0 0 0 358191 248 0 0 20 0 3 0 194680300 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=391816 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391992 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.19 4.20 5/249 1038848
/proc/meminfo: memFree=122983520/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391992 CPUtime=3586.67 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674532 0 0 0 358401 266 0 0 20 0 3 0 194680269 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97998 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=391992 CPUtime=3585.98 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660140 0 0 0 358350 248 0 0 20 0 3 0 194680300 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=11936 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391992 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.19 4.20 5/249 1038848
/proc/meminfo: memFree=122983240/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391992 CPUtime=3587.47 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674537 0 0 0 358481 266 0 0 20 0 3 0 194680269 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97998 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=391992 CPUtime=3586.78 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660145 0 0 0 358430 248 0 0 20 0 3 0 194680300 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=12740 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3587.47 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391992 KiB
[startup+3599.6 s]
/proc/loadavg: 4.19 4.19 4.20 5/249 1038848
/proc/meminfo: memFree=122983240/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391992 CPUtime=3587.87 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674548 0 0 0 358521 266 0 0 20 0 3 0 194680269 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97998 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=1976 CPUtime=3587.18 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660156 0 0 0 358470 248 0 0 20 0 3 0 194680300 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=20508 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391992 KiB
[startup+3600 s]*
/proc/loadavg: 4.19 4.19 4.20 5/249 1038848
/proc/meminfo: memFree=122983232/131655788 swapFree=131071996/131071996
[pid=1036205] ppid=1036202 vsize=474548 memory=391992 CPUtime=3588.28 cores=5,7
/proc/1036205/stat : 1036205 (fscip) S 1036202 1036205 1033539 0 -1 1077936128 674561 0 0 0 358562 266 0 0 20 0 3 0 194680269 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
/proc/1036205/statm: 118637 97998 2974 3032 0 105410 0
[pid=1036205/tid=1036207] ppid=1036202 vsize=474548 memory=-6807046549957414244 CPUtime=3587.59 cores=5,7
/proc/1036205/task/1036207/stat : 1036207 (fscip) R 1036202 1036205 1033539 0 -1 4194368 660172 0 0 0 358511 248 0 0 20 0 3 0 194680300 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
[pid=1036205/tid=1036208] ppid=1036202 vsize=474548 memory=20980 CPUtime=0.04 cores=5,7
/proc/1036205/task/1036208/stat : 1036208 (fscip) S 1036202 1036205 1033539 0 -1 1077936192 44 0 0 0 1 3 0 0 20 0 3 0 194680305 485937152 97998 134679101440 4194304 16613245 140729790623840 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 57409536 140729790632979 140729790633095 140729790633095 140729790640112 0
Current children cumulated CPU time: 3588.28 s
Current children cumulated vsize: 474548 KiB
Current children cumulated memory: 391992 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3588.35
CPU user time (s): 3585.68
CPU system time (s): 2.67158
CPU usage (%): 99.6743
Max. virtual memory (cumulated for all children) (KiB): 474548
Max. memory (cumulated for all children) (KiB): 404672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.68
system time used= 2.67157
maximum resident set size= 407048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675412
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= 10799
involuntary context switches= 2338
# summary of solver processes directly reported to runsolver:
# pid: 1036205
# total CPU time (s): 3588.35
# total CPU user time (s): 3585.68
# total CPU system time (s): 2.67158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2505 second user time and 36.3199 second system time
The end
Begin job on nodeC005 at 2024-07-19 23:40:26
IDJOB=4451500
IDBENCH=162562
IDSOLVER=3064
FILE ID=nodeC005/4451500-1721425215
RUNJOBID= nodeC005-1721421610-1033552
SLURM_JOB_ID= 7545501
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l055-r054-n1.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-4451500-1721425215/watcher-4451500-1721425215 -o /tmp/evaluation-result-4451500-1721425215/solver-4451500-1721425215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033552 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451500-1721425215.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f0e9fb7942cf170d68fd4efe40bdbadd
RANDOM SEED=811996571
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.877
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.315
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3668.922
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.411
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.182
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124044524 kB
MemAvailable: 129602800 kB
Buffers: 538496 kB
Cached: 5801184 kB
SwapCached: 0 kB
Active: 1141640 kB
Inactive: 5769760 kB
Active(anon): 3448 kB
Inactive(anon): 614196 kB
Active(file): 1138192 kB
Inactive(file): 5155564 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113680 kB
Writeback: 4 kB
AnonPages: 571212 kB
Mapped: 144148 kB
Shmem: 45896 kB
KReclaimable: 209440 kB
Slab: 328664 kB
SReclaimable: 209440 kB
SUnreclaim: 119224 kB
KernelStack: 3984 kB
PageTables: 10460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 785392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC005 at 2024-07-20 00:40:27