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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 37441536, getVmSize() = 37441536, SCIPgetMemUsed() = 13306741, SCIPgetMemTotal() = 15343229, SCIPgetMemExternEstim() = 8582610
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.11 c ** Estimated virtualMemUsedAtSolver = 37522964, getVmSize() = 71876608, SCIPgetMemUsed() = 33093445, SCIPgetMemTotal() = 47701837, SCIPgetMemExternEstim() = 8582610
0.09/0.11 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.11 c Original Problem :
0.09/0.11 c Problem name : instance-4464577-1722386613
0.09/0.11 c Variables : 2991 (2991 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.11 c Constraints : 6388
0.09/0.11 c Objective sense : minimize
0.09/0.11 c Presolved Problem :
0.09/0.11 c Variables : 2974 (2974 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.11 c Constraints : 6345
0.09/0.11 c Constraints : Number
0.09/0.11 c setppc : 6344
0.09/0.11 c orbitope : 1
0.09/0.11 c ** Instance transfer method used: 0
0.09/0.12 c ** ParaScipInstance copy increased the number of variables. **
0.09/0.13 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.13 c Nodes Active
0.09/0.13 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.76/5.82 c 6 88 78 1 - 0.0000 -
10.95/11.05 c 11 968 95 1 - 0.0000 -
16.03/16.11 c 16 1873 154 1 - 0.0000 -
21.02/21.16 c 21 2913 138 1 - 0.0000 -
26.11/26.25 c 26 3982 162 1 - 0.0000 -
31.19/31.30 c 31 5597 216 1 - 0.0000 -
36.17/36.35 c 36 7214 202 1 - 0.0000 -
41.26/41.40 c 41 8786 209 1 - 0.0000 -
46.24/46.46 c 46 10266 264 1 - 0.0000 -
51.32/51.51 c 52 11781 248 1 - 0.0000 -
56.41/56.61 c 57 13308 264 1 - 0.0000 -
61.39/61.68 c 62 14589 285 1 - 0.0000 -
66.49/66.72 c 67 15651 303 1 - 0.0000 -
71.67/71.95 c 72 16745 356 1 - 0.0000 -
77.36/77.61 c 78 16920 21 1 - 0.0000 -
82.34/82.67 c 83 17845 66 1 - 0.0000 -
87.43/87.73 c 88 19346 86 1 - 0.0000 -
92.41/92.78 c 93 20842 45 1 - 0.0000 -
97.60/97.99 c 98 22542 38 1 - 0.0000 -
102.68/103.04 c 103 24062 37 1 - 0.0000 -
107.67/108.09 c 108 25449 45 1 - 0.0000 -
112.75/113.14 c 113 26908 37 1 - 0.0000 -
117.74/118.19 c 118 28193 38 1 - 0.0000 -
122.83/123.26 c 123 29505 52 1 - 0.0000 -
127.91/128.31 c 128 30815 42 1 - 0.0000 -
132.89/133.36 c 133 32204 41 1 - 0.0000 -
137.98/138.41 c 138 33784 35 1 - 0.0000 -
142.96/143.46 c 143 35210 42 1 - 0.0000 -
148.05/148.51 c 149 36691 63 1 - 0.0000 -
153.04/153.57 c 154 38230 26 1 - 0.0000 -
158.12/158.62 c 159 39467 39 1 - 0.0000 -
163.11/163.67 c 164 41085 44 1 - 0.0000 -
168.19/168.73 c 169 42912 41 1 - 0.0000 -
173.18/173.77 c 174 44629 62 1 - 0.0000 -
178.27/178.82 c 179 46317 34 1 - 0.0000 -
183.25/183.87 c 184 48142 43 1 - 0.0000 -
188.33/188.92 c 189 49882 34 1 - 0.0000 -
193.43/194.01 c 194 51400 35 1 - 0.0000 -
198.41/199.08 c 199 52910 29 1 - 0.0000 -
203.50/204.13 c 204 54363 42 1 - 0.0000 -
208.48/209.18 c 209 56010 52 1 - 0.0000 -
213.56/214.23 c 214 57595 42 1 - 0.0000 -
218.54/219.28 c 219 58920 35 1 - 0.0000 -
223.63/224.33 c 224 60442 30 1 - 0.0000 -
228.62/229.38 c 229 61899 34 1 - 0.0000 -
233.70/234.43 c 234 63264 47 1 - 0.0000 -
238.69/239.48 c 239 64626 52 1 - 0.0000 -
243.76/244.53 c 245 65995 36 1 - 0.0000 -
248.74/249.59 c 250 67181 48 1 - 0.0000 -
253.84/254.64 c 255 68403 36 1 - 0.0000 -
258.92/259.70 c 260 69697 34 1 - 0.0000 -
263.91/264.75 c 265 71033 33 1 - 0.0000 -
268.99/269.80 c 270 72285 35 1 - 0.0000 -
273.97/274.85 c 275 73644 40 1 - 0.0000 -
279.06/279.90 c 280 74964 35 1 - 0.0000 -
284.05/284.95 c 285 76224 39 1 - 0.0000 -
289.33/290.21 c 290 77824 45 1 - 0.0000 -
294.32/295.26 c 295 79510 35 1 - 0.0000 -
299.40/300.32 c 300 80974 28 1 - 0.0000 -
304.38/305.37 c 305 82601 29 1 - 0.0000 -
309.46/310.42 c 310 83873 39 1 - 0.0000 -
314.44/315.47 c 315 85335 65 1 - 0.0000 -
319.53/320.52 c 321 86912 51 1 - 0.0000 -
324.51/325.57 c 326 88578 51 1 - 0.0000 -
329.59/330.62 c 331 90192 41 1 - 0.0000 -
334.58/335.67 c 336 91906 38 1 - 0.0000 -
339.67/340.72 c 341 93532 49 1 - 0.0000 -
344.65/345.77 c 346 95025 40 1 - 0.0000 -
349.74/350.85 c 351 96520 38 1 - 0.0000 -
354.82/355.90 c 356 98069 44 1 - 0.0000 -
359.81/360.96 c 361 99707 52 1 - 0.0000 -
364.90/366.01 c 366 101162 34 1 - 0.0000 -
369.98/371.12 c 371 102674 41 1 - 0.0000 -
375.07/376.24 c 376 104217 49 1 - 0.0000 -
380.05/381.29 c 381 105937 46 1 - 0.0000 -
385.14/386.34 c 386 107475 33 1 - 0.0000 -
390.22/391.41 c 391 108677 61 1 - 0.0000 -
395.42/396.63 c 397 110114 60 1 - 0.0000 -
400.40/401.68 c 402 111533 60 1 - 0.0000 -
405.48/406.73 c 407 113003 57 1 - 0.0000 -
410.47/411.78 c 412 114394 53 1 - 0.0000 -
415.56/416.83 c 417 115798 57 1 - 0.0000 -
420.55/421.88 c 422 117177 55 1 - 0.0000 -
425.63/426.93 c 427 118601 49 1 - 0.0000 -
430.61/431.98 c 432 119960 55 1 - 0.0000 -
435.70/437.03 c 437 121328 53 1 - 0.0000 -
440.70/442.08 c 442 122626 44 1 - 0.0000 -
445.78/447.13 c 447 123950 69 1 - 0.0000 -
450.76/452.18 c 452 125232 53 1 - 0.0000 -
455.84/457.27 c 457 126668 42 1 - 0.0000 -
461.04/462.42 c 462 127934 51 1 - 0.0000 -
466.02/467.47 c 467 129088 70 1 - 0.0000 -
471.11/472.54 c 473 130249 64 1 - 0.0000 -
476.10/477.59 c 478 131514 65 1 - 0.0000 -
481.18/482.64 c 483 132530 63 1 - 0.0000 -
486.16/487.69 c 488 133774 60 1 - 0.0000 -
491.25/492.75 c 493 134964 70 1 - 0.0000 -
496.34/497.80 c 498 136141 71 1 - 0.0000 -
501.32/502.85 c 503 137362 66 1 - 0.0000 -
506.41/507.90 c 508 138658 70 1 - 0.0000 -
511.40/512.95 c 513 140032 62 1 - 0.0000 -
516.49/518.00 c 518 141316 106 1 - 0.0000 -
521.48/523.05 c 523 142464 93 1 - 0.0000 -
526.56/528.14 c 528 143664 77 1 - 0.0000 -
531.55/533.18 c 533 145086 70 1 - 0.0000 -
536.63/538.23 c 538 146374 78 1 - 0.0000 -
541.61/543.28 c 543 147656 124 1 - 0.0000 -
546.71/548.33 c 548 149013 69 1 - 0.0000 -
551.69/553.38 c 553 150286 90 1 - 0.0000 -
556.77/558.44 c 558 151480 75 1 - 0.0000 -
561.77/563.49 c 564 152876 72 1 - 0.0000 -
566.85/568.54 c 569 154207 63 1 - 0.0000 -
571.94/573.65 c 574 155452 70 1 - 0.0000 -
577.02/578.71 c 579 156734 67 1 - 0.0000 -
582.01/583.75 c 584 157985 70 1 - 0.0000 -
587.09/588.80 c 589 159222 73 1 - 0.0000 -
592.09/593.86 c 594 160616 82 1 - 0.0000 -
597.17/598.90 c 599 162068 72 1 - 0.0000 -
602.15/603.95 c 604 163404 90 1 - 0.0000 -
607.25/609.01 c 609 165015 95 1 - 0.0000 -
612.23/614.06 c 614 166581 114 1 - 0.0000 -
617.32/619.11 c 619 168209 96 1 - 0.0000 -
622.30/624.16 c 624 169906 96 1 - 0.0000 -
627.67/629.55 c 630 171455 93 1 - 0.0000 -
632.75/634.67 c 635 173017 96 1 - 0.0000 -
637.84/639.73 c 640 174516 93 1 - 0.0000 -
642.82/644.78 c 645 176243 101 1 - 0.0000 -
647.90/649.83 c 650 177619 115 1 - 0.0000 -
652.89/654.88 c 655 178885 102 1 - 0.0000 -
657.97/659.93 c 660 180195 110 1 - 0.0000 -
662.95/664.98 c 665 181405 106 1 - 0.0000 -
668.04/670.04 c 670 182720 101 1 - 0.0000 -
673.52/675.58 c 676 183926 110 1 - 0.0000 -
678.80/680.86 c 681 185064 115 1 - 0.0000 -
683.89/685.90 c 686 186558 121 1 - 0.0000 -
688.87/690.95 c 691 187830 129 1 - 0.0000 -
693.96/696.00 c 696 188981 128 1 - 0.0000 -
699.04/701.12 c 701 190310 132 1 - 0.0000 -
704.02/706.17 c 706 191486 127 1 - 0.0000 -
709.11/711.22 c 711 192786 157 1 - 0.0000 -
714.09/716.27 c 716 194148 137 1 - 0.0000 -
719.18/721.32 c 721 195406 148 1 - 0.0000 -
724.16/726.38 c 726 196589 208 1 - 0.0000 -
729.26/731.43 c 731 197897 147 1 - 0.0000 -
734.44/736.68 c 737 199114 146 1 - 0.0000 -
739.52/741.73 c 742 200356 118 1 - 0.0000 -
744.61/746.84 c 747 201548 133 1 - 0.0000 -
749.70/751.90 c 752 202864 140 1 - 0.0000 -
754.68/756.95 c 757 204458 123 1 - 0.0000 -
759.77/762.00 c 762 206090 123 1 - 0.0000 -
764.76/767.05 c 767 207654 132 1 - 0.0000 -
769.85/772.10 c 772 209139 130 1 - 0.0000 -
774.83/777.15 c 777 210568 128 1 - 0.0000 -
779.92/782.20 c 782 211910 124 1 - 0.0000 -
784.90/787.25 c 787 213408 124 1 - 0.0000 -
789.99/792.30 c 792 214726 130 1 - 0.0000 -
794.97/797.35 c 797 216228 127 1 - 0.0000 -
800.06/802.44 c 802 217565 135 1 - 0.0000 -
805.15/807.51 c 808 218976 137 1 - 0.0000 -
810.14/812.56 c 813 220317 135 1 - 0.0000 -
815.32/817.71 c 818 221592 142 1 - 0.0000 -
820.31/822.76 c 823 222845 147 1 - 0.0000 -
825.39/827.81 c 828 224100 134 1 - 0.0000 -
830.38/832.86 c 833 225352 138 1 - 0.0000 -
835.47/837.91 c 838 226464 121 1 - 0.0000 -
840.45/842.96 c 843 227663 127 1 - 0.0000 -
845.54/848.10 c 848 228663 138 1 - 0.0000 -
850.63/853.16 c 853 229801 167 1 - 0.0000 -
855.71/858.22 c 858 231015 142 1 - 0.0000 -
860.69/863.27 c 863 232278 149 1 - 0.0000 -
865.79/868.32 c 868 233501 155 1 - 0.0000 -
870.77/873.38 c 873 234772 133 1 - 0.0000 -
875.85/878.43 c 878 236041 137 1 - 0.0000 -
880.84/883.48 c 883 237298 181 1 - 0.0000 -
885.93/888.55 c 889 238577 196 1 - 0.0000 -
891.02/893.60 c 894 239970 198 1 - 0.0000 -
896.00/898.66 c 899 241344 216 1 - 0.0000 -
901.09/903.71 c 904 242572 228 1 - 0.0000 -
906.07/908.76 c 909 243980 208 1 - 0.0000 -
911.16/913.81 c 914 245341 173 1 - 0.0000 -
916.14/918.87 c 919 246665 146 1 - 0.0000 -
921.23/923.96 c 924 247848 147 1 - 0.0000 -
926.32/929.02 c 929 248967 134 1 - 0.0000 -
931.31/934.06 c 934 250033 135 1 - 0.0000 -
936.39/939.11 c 939 251218 145 1 - 0.0000 -
941.47/944.23 c 944 252404 150 1 - 0.0000 -
946.46/949.27 c 949 253666 156 1 - 0.0000 -
951.54/954.32 c 954 254858 147 1 - 0.0000 -
956.53/959.37 c 959 255943 161 1 - 0.0000 -
961.62/964.43 c 964 257196 164 1 - 0.0000 -
966.61/969.47 c 969 258419 151 1 - 0.0000 -
971.69/974.57 c 975 259706 154 1 - 0.0000 -
976.77/979.62 c 980 261042 158 1 - 0.0000 -
981.76/984.67 c 985 262427 156 1 - 0.0000 -
986.85/989.72 c 990 263827 152 1 - 0.0000 -
991.84/994.77 c 995 264972 165 1 - 0.0000 -
996.92/999.86 c 1000 266197 150 1 - 0.0000 -
1002.01/1004.97 c 1005 267539 136 1 - 0.0000 -
1007.09/1010.01 c 1010 268796 145 1 - 0.0000 -
1012.09/1015.06 c 1015 270101 165 1 - 0.0000 -
1017.17/1020.13 c 1020 271421 158 1 - 0.0000 -
1022.15/1025.16 c 1025 272609 199 1 - 0.0000 -
1027.23/1030.21 c 1030 273834 209 1 - 0.0000 -
1032.22/1035.26 c 1035 275181 158 1 - 0.0000 -
1037.30/1040.31 c 1040 276558 154 1 - 0.0000 -
1042.30/1045.36 c 1045 277784 150 1 - 0.0000 -
1047.38/1050.41 c 1050 279105 158 1 - 0.0000 -
1052.36/1055.47 c 1055 280451 142 1 - 0.0000 -
1057.45/1060.56 c 1061 281727 158 1 - 0.0000 -
1062.54/1065.60 c 1066 283073 148 1 - 0.0000 -
1067.53/1070.65 c 1071 284255 143 1 - 0.0000 -
1072.61/1075.70 c 1076 285512 142 1 - 0.0000 -
1077.59/1080.78 c 1081 286677 144 1 - 0.0000 -
1082.68/1085.83 c 1086 287822 146 1 - 0.0000 -
1087.66/1090.88 c 1091 289168 179 1 - 0.0000 -
1092.86/1096.05 c 1096 290535 151 1 - 0.0000 -
1097.84/1101.10 c 1101 291878 166 1 - 0.0000 -
1102.93/1106.15 c 1106 293055 163 1 - 0.0000 -
1108.01/1111.21 c 1111 294144 176 1 - 0.0000 -
1112.99/1116.26 c 1116 295294 148 1 - 0.0000 -
1118.08/1121.31 c 1121 296601 146 1 - 0.0000 -
1123.07/1126.36 c 1126 297791 145 1 - 0.0000 -
1128.15/1131.43 c 1131 298983 171 1 - 0.0000 -
1133.14/1136.48 c 1136 300230 167 1 - 0.0000 -
1138.23/1141.54 c 1142 301463 148 1 - 0.0000 -
1143.21/1146.58 c 1147 302809 156 1 - 0.0000 -
1148.30/1151.63 c 1152 304015 151 1 - 0.0000 -
1153.28/1156.68 c 1157 305270 150 1 - 0.0000 -
1158.37/1161.73 c 1162 306530 150 1 - 0.0000 -
1163.35/1166.78 c 1167 307789 148 1 - 0.0000 -
1169.24/1172.69 c 1173 309024 149 1 - 0.0000 -
1174.32/1177.74 c 1178 310435 139 1 - 0.0000 -
1179.31/1182.79 c 1183 311587 144 1 - 0.0000 -
1184.39/1187.84 c 1188 312826 146 1 - 0.0000 -
1189.38/1192.89 c 1193 314055 152 1 - 0.0000 -
1194.47/1197.94 c 1198 315345 148 1 - 0.0000 -
1199.56/1203.06 c 1203 316605 154 1 - 0.0000 -
1204.64/1208.12 c 1208 317831 161 1 - 0.0000 -
1209.63/1213.16 c 1213 319109 160 1 - 0.0000 -
1214.71/1218.21 c 1218 320372 150 1 - 0.0000 -
1219.79/1223.34 c 1223 321604 147 1 - 0.0000 -
1224.78/1228.39 c 1228 323009 147 1 - 0.0000 -
1229.87/1233.44 c 1233 324334 144 1 - 0.0000 -
1234.85/1238.49 c 1238 325474 150 1 - 0.0000 -
1240.04/1243.62 c 1244 326684 160 1 - 0.0000 -
1245.03/1248.66 c 1249 327820 154 1 - 0.0000 -
1250.11/1253.71 c 1254 329046 149 1 - 0.0000 -
1255.10/1258.76 c 1259 330225 149 1 - 0.0000 -
1260.19/1263.82 c 1264 331593 159 1 - 0.0000 -
1265.17/1268.87 c 1269 332985 161 1 - 0.0000 -
1270.26/1273.93 c 1274 334410 187 1 - 0.0000 -
1275.25/1278.98 c 1279 336042 198 1 - 0.0000 -
1280.33/1284.03 c 1284 337487 167 1 - 0.0000 -
1285.32/1289.08 c 1289 338966 174 1 - 0.0000 -
1290.41/1294.14 c 1294 340593 223 1 - 0.0000 -
1295.39/1299.19 c 1299 341957 248 1 - 0.0000 -
1300.48/1304.25 c 1304 343567 287 1 - 0.0000 -
1305.56/1309.30 c 1309 345263 287 1 - 0.0000 -
1310.54/1314.37 c 1314 347043 267 1 - 0.0000 -
1315.63/1319.42 c 1319 348646 258 1 - 0.0000 -
1320.62/1324.47 c 1324 350352 172 1 - 0.0000 -
1325.71/1329.52 c 1330 351994 147 1 - 0.0000 -
1330.79/1334.60 c 1335 353506 152 1 - 0.0000 -
1335.77/1339.64 c 1340 355278 145 1 - 0.0000 -
1340.87/1344.72 c 1345 356594 185 1 - 0.0000 -
1345.85/1349.79 c 1350 357820 158 1 - 0.0000 -
1350.94/1354.84 c 1355 359102 145 1 - 0.0000 -
1356.02/1359.90 c 1360 360436 149 1 - 0.0000 -
1361.11/1365.00 c 1365 361628 149 1 - 0.0000 -
1366.09/1370.05 c 1370 363009 148 1 - 0.0000 -
1371.18/1375.11 c 1375 364115 153 1 - 0.0000 -
1376.17/1380.16 c 1380 365295 159 1 - 0.0000 -
1381.25/1385.24 c 1385 366415 174 1 - 0.0000 -
1386.24/1390.29 c 1390 367645 176 1 - 0.0000 -
1391.33/1395.34 c 1395 368883 173 1 - 0.0000 -
1396.31/1400.39 c 1400 370229 172 1 - 0.0000 -
1401.40/1405.44 c 1405 371570 166 1 - 0.0000 -
1406.39/1410.49 c 1410 372789 176 1 - 0.0000 -
1411.47/1415.55 c 1416 374091 180 1 - 0.0000 -
1416.55/1420.61 c 1421 375422 171 1 - 0.0000 -
1421.55/1425.68 c 1426 376654 172 1 - 0.0000 -
1426.63/1430.72 c 1431 378151 183 1 - 0.0000 -
1431.61/1435.77 c 1436 379568 174 1 - 0.0000 -
1436.70/1440.82 c 1441 381154 184 1 - 0.0000 -
1441.69/1445.87 c 1446 382501 187 1 - 0.0000 -
1446.77/1450.93 c 1451 383785 175 1 - 0.0000 -
1451.76/1455.98 c 1456 385227 197 1 - 0.0000 -
1456.85/1461.03 c 1461 386714 211 1 - 0.0000 -
1461.83/1466.09 c 1466 388163 192 1 - 0.0000 -
1466.92/1471.14 c 1471 389580 189 1 - 0.0000 -
1472.00/1476.24 c 1476 391133 176 1 - 0.0000 -
1477.09/1481.30 c 1481 392771 172 1 - 0.0000 -
1482.07/1486.35 c 1486 394171 182 1 - 0.0000 -
1487.16/1491.40 c 1491 395573 190 1 - 0.0000 -
1492.14/1496.45 c 1496 396920 178 1 - 0.0000 -
1497.23/1501.58 c 1502 398296 200 1 - 0.0000 -
1502.32/1506.65 c 1507 399564 181 1 - 0.0000 -
1507.40/1511.70 c 1512 401103 180 1 - 0.0000 -
1512.39/1516.79 c 1517 402547 190 1 - 0.0000 -
1517.47/1521.85 c 1522 404017 179 1 - 0.0000 -
1522.46/1526.89 c 1527 405561 175 1 - 0.0000 -
1527.55/1531.94 c 1532 407177 175 1 - 0.0000 -
1532.54/1536.99 c 1537 408494 185 1 - 0.0000 -
1537.63/1542.05 c 1542 409972 185 1 - 0.0000 -
1542.71/1547.12 c 1547 411379 185 1 - 0.0000 -
1547.70/1552.17 c 1552 412798 180 1 - 0.0000 -
1552.78/1557.25 c 1557 414247 198 1 - 0.0000 -
1557.87/1562.30 c 1562 415684 192 1 - 0.0000 -
1562.85/1567.35 c 1567 416889 186 1 - 0.0000 -
1567.94/1572.40 c 1572 418263 191 1 - 0.0000 -
1572.92/1577.45 c 1577 419637 192 1 - 0.0000 -
1578.02/1582.50 c 1583 420945 199 1 - 0.0000 -
1583.00/1587.55 c 1588 422280 198 1 - 0.0000 -
1588.08/1592.60 c 1593 423578 199 1 - 0.0000 -
1593.07/1597.66 c 1598 424644 195 1 - 0.0000 -
1598.16/1602.71 c 1603 425895 202 1 - 0.0000 -
1603.15/1607.76 c 1608 427211 201 1 - 0.0000 -
1608.24/1612.81 c 1613 428529 204 1 - 0.0000 -
1613.22/1617.86 c 1618 429879 185 1 - 0.0000 -
1618.31/1622.98 c 1623 431187 202 1 - 0.0000 -
1623.39/1628.05 c 1628 432492 216 1 - 0.0000 -
1628.48/1633.11 c 1633 433860 195 1 - 0.0000 -
1633.46/1638.18 c 1638 435195 189 1 - 0.0000 -
1638.54/1643.23 c 1643 436467 206 1 - 0.0000 -
1643.53/1648.28 c 1648 437721 204 1 - 0.0000 -
1648.62/1653.33 c 1653 438885 248 1 - 0.0000 -
1653.60/1658.39 c 1658 440061 217 1 - 0.0000 -
1658.69/1663.44 c 1663 441382 191 1 - 0.0000 -
1663.78/1668.57 c 1669 442665 175 1 - 0.0000 -
1668.86/1673.61 c 1674 444052 187 1 - 0.0000 -
1673.85/1678.66 c 1679 445411 171 1 - 0.0000 -
1678.93/1683.72 c 1684 446624 180 1 - 0.0000 -
1683.93/1688.77 c 1689 447882 186 1 - 0.0000 -
1689.01/1693.82 c 1694 449247 171 1 - 0.0000 -
1694.00/1698.87 c 1699 450466 168 1 - 0.0000 -
1699.08/1703.92 c 1704 451837 186 1 - 0.0000 -
1704.07/1708.98 c 1709 452976 171 1 - 0.0000 -
1709.16/1714.05 c 1714 454151 170 1 - 0.0000 -
1714.15/1719.10 c 1719 455347 164 1 - 0.0000 -
1719.23/1724.15 c 1724 456678 168 1 - 0.0000 -
1724.31/1729.27 c 1729 457684 180 1 - 0.0000 -
1729.40/1734.32 c 1734 458928 173 1 - 0.0000 -
1734.39/1739.39 c 1739 460109 192 1 - 0.0000 -
1739.47/1744.45 c 1744 461324 181 1 - 0.0000 -
1744.56/1749.51 c 1750 462598 178 1 - 0.0000 -
1749.54/1754.56 c 1755 463895 175 1 - 0.0000 -
1754.64/1759.61 c 1760 465104 195 1 - 0.0000 -
1759.62/1764.67 c 1765 466415 186 1 - 0.0000 -
1764.70/1769.72 c 1770 467722 210 1 - 0.0000 -
1769.79/1774.81 c 1775 468904 217 1 - 0.0000 -
1774.78/1779.86 c 1780 470064 239 1 - 0.0000 -
1779.86/1784.91 c 1785 471383 254 1 - 0.0000 -
1784.85/1789.96 c 1790 472822 216 1 - 0.0000 -
1789.94/1795.02 c 1795 474279 179 1 - 0.0000 -
1794.92/1800.07 c 1800 475611 176 1 - 0.0000 -
1800.01/1805.12 c 1805 476928 185 1 - 0.0000 -
1805.00/1810.17 c 1810 478374 183 1 - 0.0000 -
1810.08/1815.22 c 1815 479810 182 1 - 0.0000 -
1815.06/1820.27 c 1820 481268 169 1 - 0.0000 -
1820.16/1825.32 c 1825 482592 178 1 - 0.0000 -
1825.14/1830.38 c 1830 483832 188 1 - 0.0000 -
1830.22/1835.48 c 1835 485069 164 1 - 0.0000 -
1835.42/1840.62 c 1841 486154 164 1 - 0.0000 -
1840.50/1845.72 c 1846 487475 174 1 - 0.0000 -
1845.49/1850.78 c 1851 488798 177 1 - 0.0000 -
1850.58/1855.83 c 1856 490119 172 1 - 0.0000 -
1855.56/1860.88 c 1861 491458 174 1 - 0.0000 -
1860.64/1865.93 c 1866 492826 166 1 - 0.0000 -
1865.63/1870.98 c 1871 494166 168 1 - 0.0000 -
1870.72/1876.06 c 1876 495434 170 1 - 0.0000 -
1875.71/1881.10 c 1881 496823 176 1 - 0.0000 -
1880.80/1886.15 c 1886 498122 171 1 - 0.0000 -
1885.88/1891.20 c 1891 499525 179 1 - 0.0000 -
1890.86/1896.25 c 1896 500898 171 1 - 0.0000 -
1895.94/1901.30 c 1901 502243 178 1 - 0.0000 -
1900.93/1906.35 c 1906 503618 177 1 - 0.0000 -
1906.02/1911.40 c 1911 504999 170 1 - 0.0000 -
1911.01/1916.45 c 1916 506299 172 1 - 0.0000 -
1916.09/1921.50 c 1922 507512 170 1 - 0.0000 -
1921.08/1926.55 c 1927 508824 175 1 - 0.0000 -
1926.17/1931.61 c 1932 510164 168 1 - 0.0000 -
1931.15/1936.66 c 1937 511558 166 1 - 0.0000 -
1936.24/1941.77 c 1942 512972 172 1 - 0.0000 -
1941.33/1946.82 c 1947 514371 166 1 - 0.0000 -
1946.31/1951.87 c 1952 515826 169 1 - 0.0000 -
1951.39/1956.93 c 1957 517132 171 1 - 0.0000 -
1956.38/1961.98 c 1962 518319 212 1 - 0.0000 -
1961.47/1967.03 c 1967 519625 189 1 - 0.0000 -
1966.56/1972.12 c 1972 520927 189 1 - 0.0000 -
1971.64/1977.25 c 1977 522256 187 1 - 0.0000 -
1976.73/1982.30 c 1982 523486 169 1 - 0.0000 -
1981.72/1987.35 c 1987 524741 165 1 - 0.0000 -
1986.80/1992.41 c 1992 525950 161 1 - 0.0000 -
1991.79/1997.47 c 1997 527077 160 1 - 0.0000 -
1996.88/2002.52 c 2003 528343 181 1 - 0.0000 -
2001.87/2007.57 c 2008 529764 183 1 - 0.0000 -
2006.95/2012.62 c 2013 531098 193 1 - 0.0000 -
2011.93/2017.67 c 2018 532477 196 1 - 0.0000 -
2017.03/2022.72 c 2023 533856 174 1 - 0.0000 -
2022.01/2027.77 c 2028 535236 179 1 - 0.0000 -
2027.09/2032.82 c 2033 536589 165 1 - 0.0000 -
2032.08/2037.87 c 2038 538133 185 1 - 0.0000 -
2037.17/2042.97 c 2043 539744 183 1 - 0.0000 -
2042.26/2048.02 c 2048 541279 176 1 - 0.0000 -
2047.24/2053.09 c 2053 542800 161 1 - 0.0000 -
2052.33/2058.14 c 2058 544030 161 1 - 0.0000 -
2057.31/2063.19 c 2063 545357 161 1 - 0.0000 -
2062.40/2068.24 c 2068 546710 156 1 - 0.0000 -
2067.39/2073.29 c 2073 547961 193 1 - 0.0000 -
2072.47/2078.35 c 2078 549189 208 1 - 0.0000 -
2077.56/2083.40 c 2083 550485 254 1 - 0.0000 -
2082.54/2088.45 c 2088 551898 238 1 - 0.0000 -
2087.63/2093.50 c 2094 553480 213 1 - 0.0000 -
2092.62/2098.57 c 2099 554757 163 1 - 0.0000 -
2097.70/2103.62 c 2104 556047 153 1 - 0.0000 -
2102.69/2108.67 c 2109 557209 159 1 - 0.0000 -
2108.18/2114.15 c 2114 558033 170 1 - 0.0000 -
2113.26/2119.21 c 2119 559245 183 1 - 0.0000 -
2118.25/2124.28 c 2124 560509 175 1 - 0.0000 -
2123.33/2129.35 c 2129 561666 163 1 - 0.0000 -
2128.42/2134.40 c 2134 562844 167 1 - 0.0000 -
2133.41/2139.46 c 2139 564083 183 1 - 0.0000 -
2138.49/2144.56 c 2145 565165 181 1 - 0.0000 -
2143.58/2149.61 c 2150 566523 188 1 - 0.0000 -
2148.56/2154.66 c 2155 567799 173 1 - 0.0000 -
2153.65/2159.72 c 2160 568962 173 1 - 0.0000 -
2158.64/2164.77 c 2165 570167 175 1 - 0.0000 -
2163.72/2169.85 c 2170 571515 181 1 - 0.0000 -
2168.82/2174.90 c 2175 572914 183 1 - 0.0000 -
2173.80/2179.99 c 2180 574335 171 1 - 0.0000 -
2178.88/2185.07 c 2185 575554 177 1 - 0.0000 -
2183.97/2190.11 c 2190 576781 184 1 - 0.0000 -
2188.96/2195.16 c 2195 577697 205 1 - 0.0000 -
2194.04/2200.21 c 2200 578911 192 1 - 0.0000 -
2199.13/2205.32 c 2205 580114 181 1 - 0.0000 -
2204.12/2210.37 c 2210 581290 193 1 - 0.0000 -
2209.20/2215.42 c 2215 582570 187 1 - 0.0000 -
2214.19/2220.47 c 2220 583817 190 1 - 0.0000 -
2219.27/2225.52 c 2226 584985 191 1 - 0.0000 -
2224.26/2230.57 c 2231 586271 203 1 - 0.0000 -
2229.35/2235.62 c 2236 587567 198 1 - 0.0000 -
2234.33/2240.68 c 2241 588853 201 1 - 0.0000 -
2239.42/2245.73 c 2246 590215 196 1 - 0.0000 -
2244.50/2250.87 c 2251 591494 197 1 - 0.0000 -
2249.59/2255.99 c 2256 592541 210 1 - 0.0000 -
2254.69/2261.06 c 2261 593747 201 1 - 0.0000 -
2259.86/2266.21 c 2266 594988 207 1 - 0.0000 -
2264.85/2271.26 c 2271 596288 204 1 - 0.0000 -
2270.04/2276.40 c 2276 597454 225 1 - 0.0000 -
2275.02/2281.45 c 2281 598697 213 1 - 0.0000 -
2280.11/2286.51 c 2287 599868 211 1 - 0.0000 -
2285.10/2291.56 c 2292 601080 204 1 - 0.0000 -
2290.18/2296.62 c 2297 602312 202 1 - 0.0000 -
2295.17/2301.69 c 2302 603530 217 1 - 0.0000 -
2300.25/2306.73 c 2307 604776 221 1 - 0.0000 -
2305.24/2311.78 c 2312 606058 227 1 - 0.0000 -
2310.33/2316.83 c 2317 607478 224 1 - 0.0000 -
2315.31/2321.88 c 2322 608837 223 1 - 0.0000 -
2320.40/2326.93 c 2327 610088 237 1 - 0.0000 -
2325.49/2332.02 c 2332 611351 251 1 - 0.0000 -
2330.48/2337.08 c 2337 612477 242 1 - 0.0000 -
2335.66/2342.21 c 2342 613731 238 1 - 0.0000 -
2340.64/2347.26 c 2347 615003 233 1 - 0.0000 -
2345.73/2352.31 c 2352 616285 235 1 - 0.0000 -
2350.72/2357.36 c 2357 617503 231 1 - 0.0000 -
2355.80/2362.48 c 2362 618658 212 1 - 0.0000 -
2360.89/2367.53 c 2368 619842 224 1 - 0.0000 -
2365.97/2372.61 c 2373 621106 224 1 - 0.0000 -
2371.15/2377.89 c 2378 621950 239 1 - 0.0000 -
2376.24/2382.95 c 2383 623043 247 1 - 0.0000 -
2381.32/2388.04 c 2388 624283 249 1 - 0.0000 -
2386.30/2393.10 c 2393 625506 256 1 - 0.0000 -
2391.39/2398.14 c 2398 626649 256 1 - 0.0000 -
2396.57/2403.34 c 2403 627682 268 1 - 0.0000 -
2401.54/2408.39 c 2408 628811 288 1 - 0.0000 -
2406.63/2413.44 c 2413 629975 292 1 - 0.0000 -
2411.61/2418.49 c 2418 631240 289 1 - 0.0000 -
2416.69/2423.55 c 2424 632429 298 1 - 0.0000 -
2421.78/2428.60 c 2429 633725 294 1 - 0.0000 -
2426.77/2433.68 c 2434 634962 306 1 - 0.0000 -
2431.85/2438.74 c 2439 636192 303 1 - 0.0000 -
2436.83/2443.78 c 2444 637314 295 1 - 0.0000 -
2442.51/2449.40 c 2449 638319 304 1 - 0.0000 -
2447.60/2454.53 c 2455 639416 309 1 - 0.0000 -
2452.67/2459.60 c 2460 640634 316 1 - 0.0000 -
2457.65/2464.65 c 2465 641865 318 1 - 0.0000 -
2464.15/2471.13 c 2471 642583 311 1 - 0.0000 -
2469.12/2476.18 c 2476 643738 333 1 - 0.0000 -
2474.20/2481.23 c 2481 644875 329 1 - 0.0000 -
2479.19/2486.28 c 2486 646102 326 1 - 0.0000 -
2484.27/2491.33 c 2491 647355 324 1 - 0.0000 -
2489.36/2496.43 c 2496 648533 327 1 - 0.0000 -
2494.34/2501.48 c 2501 649839 335 1 - 0.0000 -
2499.52/2506.64 c 2507 651032 329 1 - 0.0000 -
2504.50/2511.69 c 2512 652294 327 1 - 0.0000 -
2509.59/2516.74 c 2517 653496 351 1 - 0.0000 -
2514.57/2521.79 c 2522 654915 334 1 - 0.0000 -
2519.65/2526.84 c 2527 656044 369 1 - 0.0000 -
2524.63/2531.89 c 2532 657213 344 1 - 0.0000 -
2529.72/2536.94 c 2537 658465 347 1 - 0.0000 -
2534.70/2541.99 c 2542 659764 352 1 - 0.0000 -
2539.78/2547.04 c 2547 660978 353 1 - 0.0000 -
2544.77/2552.09 c 2552 662235 351 1 - 0.0000 -
2549.86/2557.14 c 2557 663523 345 1 - 0.0000 -
2554.85/2562.19 c 2562 664830 354 1 - 0.0000 -
2559.93/2567.26 c 2567 666042 349 1 - 0.0000 -
2565.02/2572.34 c 2572 667236 339 1 - 0.0000 -
2570.00/2577.38 c 2577 668356 348 1 - 0.0000 -
2575.08/2582.46 c 2582 669559 347 1 - 0.0000 -
2580.17/2587.51 c 2588 670787 350 1 - 0.0000 -
2585.16/2592.57 c 2593 671898 359 1 - 0.0000 -
2590.25/2597.66 c 2598 673059 356 1 - 0.0000 -
2595.33/2602.71 c 2603 674299 343 1 - 0.0000 -
2600.32/2607.76 c 2608 675553 354 1 - 0.0000 -
2605.40/2612.81 c 2613 676822 354 1 - 0.0000 -
2610.40/2617.86 c 2618 678116 347 1 - 0.0000 -
2615.48/2622.93 c 2623 679299 362 1 - 0.0000 -
2620.46/2627.98 c 2628 680523 362 1 - 0.0000 -
2625.56/2633.03 c 2633 681803 348 1 - 0.0000 -
2630.54/2638.08 c 2638 683069 351 1 - 0.0000 -
2635.63/2643.13 c 2643 684214 339 1 - 0.0000 -
2640.71/2648.20 c 2648 685242 449 1 - 0.0000 -
2645.70/2653.27 c 2653 686564 392 1 - 0.0000 -
2650.78/2658.32 c 2658 687824 352 1 - 0.0000 -
2655.77/2663.37 c 2663 688950 386 1 - 0.0000 -
2660.86/2668.42 c 2668 690180 368 1 - 0.0000 -
2665.84/2673.48 c 2673 691376 388 1 - 0.0000 -
2670.93/2678.53 c 2679 692630 362 1 - 0.0000 -
2675.91/2683.58 c 2684 693894 364 1 - 0.0000 -
2681.00/2688.63 c 2689 695203 369 1 - 0.0000 -
2685.98/2693.68 c 2694 696557 355 1 - 0.0000 -
2691.07/2698.73 c 2699 697851 368 1 - 0.0000 -
2696.06/2703.78 c 2704 699066 357 1 - 0.0000 -
2701.14/2708.83 c 2709 700368 350 1 - 0.0000 -
2706.13/2713.88 c 2714 701743 348 1 - 0.0000 -
2711.22/2718.93 c 2719 703007 359 1 - 0.0000 -
2716.20/2723.98 c 2724 704280 350 1 - 0.0000 -
2721.29/2729.03 c 2729 705471 365 1 - 0.0000 -
2726.28/2734.08 c 2734 706634 354 1 - 0.0000 -
2731.37/2739.13 c 2739 707889 345 1 - 0.0000 -
2736.44/2744.25 c 2744 708978 410 1 - 0.0000 -
2741.43/2749.30 c 2749 710224 378 1 - 0.0000 -
2746.52/2754.34 c 2754 711490 378 1 - 0.0000 -
2751.50/2759.39 c 2759 712779 381 1 - 0.0000 -
2756.58/2764.45 c 2764 714191 372 1 - 0.0000 -
2761.68/2769.50 c 2770 715523 357 1 - 0.0000 -
2766.66/2774.55 c 2775 716803 348 1 - 0.0000 -
2771.75/2779.61 c 2780 718126 353 1 - 0.0000 -
2776.73/2784.66 c 2785 719607 352 1 - 0.0000 -
2781.82/2789.71 c 2790 720948 350 1 - 0.0000 -
2786.81/2794.76 c 2795 722216 348 1 - 0.0000 -
2791.89/2799.81 c 2800 723347 363 1 - 0.0000 -
2796.87/2804.86 c 2805 724565 363 1 - 0.0000 -
2801.96/2809.91 c 2810 725871 354 1 - 0.0000 -
2806.95/2814.99 c 2815 727291 361 1 - 0.0000 -
2812.04/2820.06 c 2820 728360 371 1 - 0.0000 -
2817.13/2825.19 c 2825 729579 356 1 - 0.0000 -
2822.21/2830.25 c 2830 730787 367 1 - 0.0000 -
2827.29/2835.30 c 2835 731976 369 1 - 0.0000 -
2832.28/2840.35 c 2840 733311 377 1 - 0.0000 -
2837.36/2845.40 c 2845 734703 374 1 - 0.0000 -
2842.35/2850.45 c 2850 736093 382 1 - 0.0000 -
2847.44/2855.52 c 2856 737465 376 1 - 0.0000 -
2852.42/2860.57 c 2861 738803 372 1 - 0.0000 -
2857.50/2865.62 c 2866 740181 358 1 - 0.0000 -
2862.49/2870.67 c 2871 741527 382 1 - 0.0000 -
2867.58/2875.72 c 2876 743020 371 1 - 0.0000 -
2872.56/2880.77 c 2881 744305 375 1 - 0.0000 -
2877.65/2885.82 c 2886 745625 384 1 - 0.0000 -
2882.64/2890.88 c 2891 746914 385 1 - 0.0000 -
2887.72/2895.93 c 2896 748337 387 1 - 0.0000 -
2892.71/2900.99 c 2901 749727 397 1 - 0.0000 -
2897.80/2906.04 c 2906 751070 397 1 - 0.0000 -
2902.78/2911.09 c 2911 752360 394 1 - 0.0000 -
2907.87/2916.14 c 2916 753594 393 1 - 0.0000 -
2912.85/2921.19 c 2921 754867 377 1 - 0.0000 -
2917.94/2926.28 c 2926 756087 380 1 - 0.0000 -
2923.02/2931.33 c 2931 757352 369 1 - 0.0000 -
2928.01/2936.38 c 2936 758592 382 1 - 0.0000 -
2933.09/2941.43 c 2941 759896 366 1 - 0.0000 -
2938.08/2946.48 c 2946 761208 371 1 - 0.0000 -
2943.16/2951.53 c 2952 762484 373 1 - 0.0000 -
2948.14/2956.58 c 2957 763755 365 1 - 0.0000 -
2953.23/2961.63 c 2962 764913 394 1 - 0.0000 -
2958.21/2966.68 c 2967 766138 388 1 - 0.0000 -
2963.29/2971.73 c 2972 767332 393 1 - 0.0000 -
2968.27/2976.78 c 2977 768358 401 1 - 0.0000 -
2973.35/2981.83 c 2982 769478 391 1 - 0.0000 -
2978.34/2986.88 c 2987 770696 401 1 - 0.0000 -
2983.42/2991.93 c 2992 772195 406 1 - 0.0000 -
2988.40/2996.99 c 2997 773556 390 1 - 0.0000 -
2993.50/3002.05 c 3002 774914 392 1 - 0.0000 -
2998.58/3007.12 c 3007 776059 385 1 - 0.0000 -
3003.57/3012.17 c 3012 777234 388 1 - 0.0000 -
3008.65/3017.29 c 3017 778447 381 1 - 0.0000 -
3013.74/3022.34 c 3022 779718 376 1 - 0.0000 -
3018.72/3027.39 c 3027 781151 382 1 - 0.0000 -
3023.81/3032.44 c 3032 782403 378 1 - 0.0000 -
3028.80/3037.49 c 3038 783764 374 1 - 0.0000 -
3033.88/3042.54 c 3043 785066 374 1 - 0.0000 -
3038.97/3047.60 c 3048 786136 359 1 - 0.0000 -
3043.95/3052.65 c 3053 787294 373 1 - 0.0000 -
3049.05/3057.71 c 3058 788424 368 1 - 0.0000 -
3054.04/3062.76 c 3063 789632 370 1 - 0.0000 -
3059.12/3067.83 c 3068 790924 371 1 - 0.0000 -
3064.10/3072.88 c 3073 792315 370 1 - 0.0000 -
3069.19/3077.93 c 3078 793581 363 1 - 0.0000 -
3074.18/3082.98 c 3083 794787 370 1 - 0.0000 -
3079.37/3088.11 c 3088 796034 377 1 - 0.0000 -
3084.36/3093.16 c 3093 797397 385 1 - 0.0000 -
3089.44/3098.21 c 3098 798792 378 1 - 0.0000 -
3094.42/3103.27 c 3103 799864 360 1 - 0.0000 -
3099.51/3108.32 c 3108 801146 397 1 - 0.0000 -
3104.49/3113.37 c 3113 802363 395 1 - 0.0000 -
3109.59/3118.42 c 3118 803633 423 1 - 0.0000 -
3114.57/3123.48 c 3123 804850 406 1 - 0.0000 -
3119.66/3128.53 c 3129 806133 373 1 - 0.0000 -
3124.85/3133.71 c 3134 807370 386 1 - 0.0000 -
3129.93/3138.80 c 3139 808544 382 1 - 0.0000 -
3134.92/3143.84 c 3144 809794 370 1 - 0.0000 -
3139.91/3148.89 c 3149 810957 360 1 - 0.0000 -
3144.99/3153.94 c 3154 812132 369 1 - 0.0000 -
3150.58/3159.50 c 3160 813344 362 1 - 0.0000 -
3155.56/3164.55 c 3165 814651 368 1 - 0.0000 -
3160.65/3169.60 c 3170 815926 372 1 - 0.0000 -
3165.64/3174.65 c 3175 817247 358 1 - 0.0000 -
3170.72/3179.70 c 3180 818473 376 1 - 0.0000 -
3175.72/3184.75 c 3185 819794 381 1 - 0.0000 -
3180.80/3189.80 c 3190 821062 360 1 - 0.0000 -
3185.78/3194.89 c 3195 822412 358 1 - 0.0000 -
3190.87/3199.94 c 3200 823680 371 1 - 0.0000 -
3195.86/3204.99 c 3205 825043 364 1 - 0.0000 -
3200.95/3210.06 c 3210 826252 356 1 - 0.0000 -
3205.94/3215.10 c 3215 827384 372 1 - 0.0000 -
3211.03/3220.15 c 3220 828412 396 1 - 0.0000 -
3216.10/3225.20 c 3225 829584 423 1 - 0.0000 -
3221.19/3230.38 c 3230 830868 427 1 - 0.0000 -
3226.28/3235.43 c 3235 832004 418 1 - 0.0000 -
3231.27/3240.47 c 3240 833098 423 1 - 0.0000 -
3236.35/3245.52 c 3246 834138 421 1 - 0.0000 -
3241.44/3250.65 c 3251 835280 426 1 - 0.0000 -
3246.52/3255.70 c 3256 836468 412 1 - 0.0000 -
3251.61/3260.80 c 3261 837824 364 1 - 0.0000 -
3256.60/3265.85 c 3266 839015 367 1 - 0.0000 -
3261.69/3270.94 c 3271 840293 370 1 - 0.0000 -
3266.67/3275.99 c 3276 841536 369 1 - 0.0000 -
3271.77/3281.04 c 3281 842759 370 1 - 0.0000 -
3276.85/3286.13 c 3286 843864 399 1 - 0.0000 -
3281.83/3291.18 c 3291 845213 381 1 - 0.0000 -
3286.91/3296.23 c 3296 846444 373 1 - 0.0000 -
3292.00/3301.30 c 3301 847812 385 1 - 0.0000 -
3297.08/3306.46 c 3306 849207 402 1 - 0.0000 -
3302.17/3311.51 c 3312 850639 382 1 - 0.0000 -
3307.16/3316.56 c 3317 852000 376 1 - 0.0000 -
3312.24/3321.65 c 3322 853175 379 1 - 0.0000 -
3317.22/3326.69 c 3327 854532 390 1 - 0.0000 -
3322.31/3331.74 c 3332 855957 379 1 - 0.0000 -
3327.39/3336.81 c 3337 857294 371 1 - 0.0000 -
3332.37/3341.89 c 3342 858464 374 1 - 0.0000 -
3337.46/3346.94 c 3347 859580 375 1 - 0.0000 -
3342.45/3351.99 c 3352 860782 365 1 - 0.0000 -
3347.54/3357.06 c 3357 861996 364 1 - 0.0000 -
3352.72/3362.20 c 3362 863284 367 1 - 0.0000 -
3357.70/3367.25 c 3367 864587 375 1 - 0.0000 -
3362.79/3372.30 c 3372 865948 376 1 - 0.0000 -
3367.77/3377.35 c 3377 867258 374 1 - 0.0000 -
3372.85/3382.41 c 3382 868536 373 1 - 0.0000 -
3377.85/3387.46 c 3387 869766 373 1 - 0.0000 -
3382.93/3392.51 c 3393 871087 371 1 - 0.0000 -
3387.92/3397.56 c 3398 872596 369 1 - 0.0000 -
3393.70/3403.38 c 3403 873900 387 1 - 0.0000 -
3398.79/3408.43 c 3408 875408 368 1 - 0.0000 -
3403.77/3413.48 c 3413 876706 354 1 - 0.0000 -
3408.86/3418.53 c 3419 877872 372 1 - 0.0000 -
3413.85/3423.59 c 3424 879172 367 1 - 0.0000 -
3418.94/3428.65 c 3429 880535 353 1 - 0.0000 -
3424.02/3433.71 c 3434 881766 348 1 - 0.0000 -
3429.01/3438.76 c 3439 883048 349 1 - 0.0000 -
3434.09/3443.81 c 3444 884334 347 1 - 0.0000 -
3439.08/3448.87 c 3449 885652 354 1 - 0.0000 -
3444.17/3453.92 c 3454 886966 343 1 - 0.0000 -
3449.15/3458.98 c 3459 888187 339 1 - 0.0000 -
3454.35/3464.14 c 3464 889302 355 1 - 0.0000 -
3459.43/3469.22 c 3469 890634 344 1 - 0.0000 -
3464.52/3474.36 c 3474 892081 339 1 - 0.0000 -
3469.60/3479.41 c 3479 893423 350 1 - 0.0000 -
3474.69/3484.55 c 3485 894621 368 1 - 0.0000 -
3479.77/3489.60 c 3490 895898 352 1 - 0.0000 -
3484.77/3494.65 c 3495 897241 351 1 - 0.0000 -
3489.85/3499.70 c 3500 898581 352 1 - 0.0000 -
3494.83/3504.76 c 3505 899980 353 1 - 0.0000 -
3500.13/3510.03 c 3510 901295 369 1 - 0.0000 -
3505.12/3515.08 c 3515 902665 368 1 - 0.0000 -
3510.20/3520.13 c 3520 904009 358 1 - 0.0000 -
3515.19/3525.18 c 3525 905363 362 1 - 0.0000 -
3520.27/3530.23 c 3530 906754 361 1 - 0.0000 -
3525.66/3535.68 c 3536 908076 364 1 - 0.0000 -
3530.74/3540.73 c 3541 909452 366 1 - 0.0000 -
3535.73/3545.78 c 3546 910587 363 1 - 0.0000 -
3540.82/3550.83 c 3551 911938 394 1 - 0.0000 -
3545.80/3555.88 c 3556 913373 367 1 - 0.0000 -
3550.89/3560.93 c 3561 914739 363 1 - 0.0000 -
3555.88/3565.98 c 3566 915965 356 1 - 0.0000 -
3560.97/3571.03 c 3571 917344 361 1 - 0.0000 -
3565.95/3576.08 c 3576 918761 351 1 - 0.0000 -
3571.04/3581.15 c 3581 920227 345 1 - 0.0000 -
3576.13/3586.20 c 3586 921659 348 1 - 0.0000 -
3581.11/3591.25 c 3591 922989 350 1 - 0.0000 -
3586.20/3596.30 c 3596 924383 366 1 - 0.0000 -
3587.90/3598.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.90/3598.03 c Total Time : 3598.0400
3587.90/3598.03 c solving : 3598.0400
3587.90/3598.03 c presolving : 0.0961 (included in solving)
3587.90/3598.03 c B&B Tree :
3587.90/3598.03 c nodes (total) : 1
3587.90/3598.03 c Solution :
3587.90/3598.03 c Solutions found : 0
3587.90/3598.03 c Primal Bound : -
3587.90/3598.03 c Dual Bound : +0.00000000000000e+00
3587.90/3598.03 c Gap : -
3587.90/3598.04 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 (60494 MiB free)
memory of node 1: 64510 MiB (62826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464577-1722386613/watcher-4464577-1722386613 -o /tmp/evaluation-result-4464577-1722386613/solver-4464577-1722386613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28846 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464577-1722386613.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34706, runsolver pid=34703
[startup+0.100879 s]*
/proc/loadavg: 4.33 4.18 4.13 5/265 34707
/proc/meminfo: memFree=126249464/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=64072 memory=45376 CPUtime=0.09 cores=4,6
/proc/34706/stat : 34706 (fscip) R 34703 34706 28833 0 -1 4194304 9787 0 0 0 8 1 0 0 20 0 1 0 5259796 65609728 11344 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 16018 11344 2758 3035 0 12414 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64072 KiB
Current children cumulated memory: 45376 KiB
[startup+0.205868 s]*
/proc/loadavg: 4.33 4.18 4.13 5/267 34709
/proc/meminfo: memFree=126204468/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=176308 memory=86920 CPUtime=0.19 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 20196 0 0 0 16 3 0 0 20 0 3 0 5259796 180539392 21730 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 44077 21730 2790 3035 0 27705 0
[pid=34706/tid=34708] ppid=34703 vsize=176308 memory=8505393642823811203 CPUtime=0.07 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 6897 0 0 0 6 1 0 0 20 0 3 0 5259808 180539392 21730 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=176308 memory=19032 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5259810 180539392 21730 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 176308 KiB
Current children cumulated memory: 86920 KiB
[startup+0.305866 s]*
/proc/loadavg: 4.33 4.18 4.13 5/267 34709
/proc/meminfo: memFree=126194052/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=179388 memory=97724 CPUtime=0.29 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 22956 0 0 0 25 4 0 0 20 0 3 0 5259796 183693312 24431 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 44847 24431 2934 3035 0 30376 0
[pid=34706/tid=34708] ppid=34703 vsize=179388 memory=-5155632413973965701 CPUtime=0.16 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 9657 0 0 0 15 1 0 0 20 0 3 0 5259808 183693312 24431 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=179388 memory=0 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5259810 183693312 24431 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 179388 KiB
Current children cumulated memory: 97724 KiB
[startup+0.700215 s]
/proc/loadavg: 4.33 4.18 4.13 5/267 34711
/proc/meminfo: memFree=126193744/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=179520 memory=98576 CPUtime=0.67 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 23162 0 0 0 63 4 0 0 20 0 3 0 5259796 183828480 24644 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 44880 24644 2950 3035 0 30646 0
[pid=34706/tid=34708] ppid=34703 vsize=179520 memory=0 CPUtime=0.54 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 9863 0 0 0 53 1 0 0 20 0 3 0 5259808 183828480 24644 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=179520 memory=0 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5259810 183828480 24644 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 179520 KiB
Current children cumulated memory: 98576 KiB
[startup+1.50025 s]
/proc/loadavg: 4.33 4.18 4.13 5/267 34711
/proc/meminfo: memFree=126176004/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=181452 memory=115300 CPUtime=1.46 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 37256 0 0 0 141 5 0 0 20 0 3 0 5259796 185806848 28825 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 45363 28825 2950 3035 0 35291 0
[pid=34706/tid=34708] ppid=34703 vsize=181452 memory=0 CPUtime=1.34 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 23957 0 0 0 131 3 0 0 20 0 3 0 5259808 185806848 28825 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=181452 memory=0 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5259810 185806848 28825 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 181452 KiB
Current children cumulated memory: 115300 KiB
[startup+3.10539 s]
/proc/loadavg: 4.30 4.17 4.13 5/267 34711
/proc/meminfo: memFree=126148876/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=181452 memory=138468 CPUtime=3.07 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 44930 0 0 0 300 7 0 0 20 0 3 0 5259796 185806848 34617 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 45363 34617 2950 3035 0 41245 0
[pid=34706/tid=34708] ppid=34703 vsize=181452 memory=0 CPUtime=2.94 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 31607 0 0 0 290 4 0 0 20 0 3 0 5259808 185806848 34617 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=181452 memory=2209 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5259810 185806848 34617 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 181452 KiB
Current children cumulated memory: 138468 KiB
[startup+6.30023 s]
/proc/loadavg: 4.30 4.17 4.13 5/267 34711
/proc/meminfo: memFree=126145220/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=246988 memory=140864 CPUtime=6.26 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 58853 0 0 0 618 8 0 0 20 0 3 0 5259796 252915712 35216 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 61747 35216 2950 3035 0 42348 0
[pid=34706/tid=34708] ppid=34703 vsize=246988 memory=0 CPUtime=6.13 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 45511 0 0 0 608 5 0 0 20 0 3 0 5259808 252915712 35216 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=246988 memory=0 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5259810 252915712 35216 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 246988 KiB
Current children cumulated memory: 140864 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.17 4.13 5/267 34712
/proc/meminfo: memFree=126114156/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=247120 memory=174076 CPUtime=12.64 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 99275 0 0 0 1253 11 0 0 20 0 3 0 5259796 253050880 43519 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 61780 43519 2998 3035 0 51075 0
[pid=34706/tid=34708] ppid=34703 vsize=247120 memory=162580 CPUtime=12.51 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 85902 0 0 0 1243 8 0 0 20 0 3 0 5259808 253050880 43519 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=247120 memory=11584 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5259810 253050880 43519 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 247120 KiB
Current children cumulated memory: 174076 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.16 4.12 5/267 34714
/proc/meminfo: memFree=126104272/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=247384 memory=181728 CPUtime=25.4 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 148238 0 0 0 2525 15 0 0 20 0 3 0 5259796 253321216 45432 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 61846 45432 2998 3035 0 53396 0
[pid=34706/tid=34708] ppid=34703 vsize=247384 memory=181720 CPUtime=25.28 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 134830 0 0 0 2515 13 0 0 20 0 3 0 5259808 253321216 45432 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=247384 memory=11584 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 5259810 253321216 45432 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 247384 KiB
Current children cumulated memory: 181728 KiB
[startup+51.1056 s]
/proc/loadavg: 4.27 4.18 4.13 5/266 34720
/proc/meminfo: memFree=126089616/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=247784 memory=194012 CPUtime=50.93 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 180817 0 0 0 5074 19 0 0 20 0 3 0 5259796 253730816 48503 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 61946 48503 2998 3035 0 56265 0
[pid=34706/tid=34708] ppid=34703 vsize=247784 memory=193976 CPUtime=50.81 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 167352 0 0 0 5064 17 0 0 20 0 3 0 5259808 253730816 48503 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=247784 memory=193976 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5259810 253730816 48503 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 247784 KiB
Current children cumulated memory: 194012 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/266 34729
/proc/meminfo: memFree=126038888/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=313828 memory=226908 CPUtime=101.98 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 243720 0 0 0 10171 27 0 0 20 0 3 0 5259796 321359872 56727 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 78457 56727 2998 3035 0 67758 0
[pid=34706/tid=34708] ppid=34703 vsize=313828 memory=226900 CPUtime=101.86 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 230195 0 0 0 10161 25 0 0 20 0 3 0 5259808 321359872 56727 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=313828 memory=226836 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5259810 321359872 56727 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 313828 KiB
Current children cumulated memory: 226908 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/263 34739
/proc/meminfo: memFree=126029448/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=313828 memory=227124 CPUtime=161.81 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 259792 0 0 0 16147 34 0 0 20 0 3 0 5259796 321359872 56781 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 78457 56781 2998 3035 0 67758 0
[pid=34706/tid=34708] ppid=34703 vsize=313828 memory=13172 CPUtime=161.68 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 246246 0 0 0 16137 31 0 0 20 0 3 0 5259808 321359872 56781 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=313828 memory=227108 CPUtime=0 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5259810 321359872 56781 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 313828 KiB
Current children cumulated memory: 227124 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/262 34749
################
# More data... #
################
/proc/34706/statm: 118714 100945 2998 3035 0 106742 0
[pid=34706/tid=34708] ppid=34703 vsize=474856 memory=398288 CPUtime=3392.36 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 562878 0 0 0 339002 234 0 0 20 0 3 0 5259808 486252544 100945 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=474856 memory=398460 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 486252544 100945 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 474856 KiB
Current children cumulated memory: 403780 KiB
[startup+3462.3 s]
/proc/loadavg: 1.44 2.52 3.31 2/239 36633
/proc/meminfo: memFree=126574988/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=474856 memory=404136 CPUtime=3452.54 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 580444 0 0 0 345009 245 0 0 20 0 3 0 5259796 486252544 101034 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 118714 101034 2998 3035 0 106742 0
[pid=34706/tid=34708] ppid=34703 vsize=474856 memory=398288 CPUtime=3452.2 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 566498 0 0 0 344983 237 0 0 20 0 3 0 5259808 486252544 101034 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=474856 memory=398460 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 486252544 101034 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 474856 KiB
Current children cumulated memory: 404136 KiB
[startup+3522.3 s]
/proc/loadavg: 1.28 2.27 3.17 2/238 36643
/proc/meminfo: memFree=126572172/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=406648 CPUtime=3512.39 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 588009 0 0 0 350990 249 0 0 20 0 3 0 5259796 490553344 101662 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 101662 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=12856 CPUtime=3512.04 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 574056 0 0 0 350964 240 0 0 20 0 3 0 5259808 490553344 101662 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=5560 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 101662 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 406648 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 2.04 3.03 2/238 36655
/proc/meminfo: memFree=126571352/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=408668 CPUtime=3572.23 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 593977 0 0 0 356971 252 0 0 20 0 3 0 5259796 490553344 102167 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102167 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=408668 CPUtime=3571.88 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 580017 0 0 0 356944 244 0 0 20 0 3 0 5259808 490553344 102167 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=12856 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102167 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 408668 KiB
[startup+3598.05 s]
# the end of solver process 34706 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.41 s, system=2.53707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.09 2.02 3.02 2/238 36655
/proc/meminfo: memFree=126571352/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=408668 CPUtime=3573.93 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 593977 0 0 0 357141 252 0 0 20 0 3 0 5259796 490553344 102167 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102167 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=12856 CPUtime=3573.58 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 580017 0 0 0 357114 244 0 0 20 0 3 0 5259808 490553344 102167 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=-7305866044405677504 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102167 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 408668 KiB
[startup+3590.4 s]
/proc/loadavg: 1.08 2.00 3.01 2/238 36655
/proc/meminfo: memFree=126567596/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=411172 CPUtime=3580.31 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 595592 0 0 0 357778 253 0 0 20 0 3 0 5259796 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102793 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=11584 CPUtime=3579.96 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 581630 0 0 0 357752 244 0 0 20 0 3 0 5259808 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=408668 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3580.31 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 411172 KiB
[startup+3593.6 s]
/proc/loadavg: 1.08 2.00 3.01 2/238 36656
/proc/meminfo: memFree=126567616/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=411172 CPUtime=3583.5 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 595630 0 0 0 358097 253 0 0 20 0 3 0 5259796 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102793 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=12856 CPUtime=3583.15 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 581668 0 0 0 358071 244 0 0 20 0 3 0 5259808 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=13172 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3583.5 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 411172 KiB
[startup+3595.2 s]
/proc/loadavg: 1.08 1.99 3.00 2/238 36656
/proc/meminfo: memFree=126567608/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=411172 CPUtime=3585.1 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 595646 0 0 0 358257 253 0 0 20 0 3 0 5259796 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102793 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=12856 CPUtime=3584.74 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 581684 0 0 0 358230 244 0 0 20 0 3 0 5259808 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=-7163093423917982592 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102793 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 411172 KiB
[startup+3596.8 s]
/proc/loadavg: 1.08 1.99 3.00 2/238 36656
/proc/meminfo: memFree=126567588/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=411184 CPUtime=3586.69 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 595657 0 0 0 358416 253 0 0 20 0 3 0 5259796 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102796 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=408668 CPUtime=3586.34 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 581695 0 0 0 358390 244 0 0 20 0 3 0 5259808 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=11584 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 411184 KiB
[startup+3597.6 s]
/proc/loadavg: 1.08 1.99 3.00 2/238 36656
/proc/meminfo: memFree=126567580/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=411184 CPUtime=3587.49 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 595667 0 0 0 358496 253 0 0 20 0 3 0 5259796 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102796 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=5560 CPUtime=3587.13 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 581705 0 0 0 358469 244 0 0 20 0 3 0 5259808 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=16168 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3587.49 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 411184 KiB
[startup+3598 s]*
/proc/loadavg: 1.08 1.99 3.00 2/238 36656
/proc/meminfo: memFree=126567588/131524600 swapFree=131071996/131071996
[pid=34706] ppid=34703 vsize=479056 memory=411184 CPUtime=3587.9 cores=4,6
/proc/34706/stat : 34706 (fscip) S 34703 34706 28833 0 -1 1077936128 595718 0 0 0 358537 253 0 0 20 0 3 0 5259796 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
/proc/34706/statm: 119764 102796 2998 3035 0 107792 0
[pid=34706/tid=34708] ppid=34703 vsize=479056 memory=-7163093423917982592 CPUtime=3587.54 cores=4,6
/proc/34706/task/34708/stat : 34708 (fscip) R 34703 34706 28833 0 -1 4194368 581774 0 0 0 358510 244 0 0 20 0 3 0 5259808 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
[pid=34706/tid=34709] ppid=34703 vsize=479056 memory=-7305866044405677504 CPUtime=0.03 cores=4,6
/proc/34706/task/34709/stat : 34709 (fscip) S 34703 34706 28833 0 -1 1077936192 35 0 0 0 1 2 0 0 20 0 3 0 5259810 490553344 102796 134679101440 4194304 16623229 140725031426720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45756416 140725031433238 140725031433354 140725031433354 140725031440368 0
Current children cumulated CPU time: 3587.9 s
Current children cumulated vsize: 479056 KiB
Current children cumulated memory: 411184 KiB
Child status: 0
Real time (s): 3598.05
CPU time (s): 3587.95
CPU user time (s): 3585.41
CPU system time (s): 2.53707
CPU usage (%): 99.7193
Max. virtual memory (cumulated for all children) (KiB): 479056
Max. memory (cumulated for all children) (KiB): 411184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.41
system time used= 2.53707
maximum resident set size= 413748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596217
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= 10761
involuntary context switches= 2355
# summary of solver processes directly reported to runsolver:
# pid: 34706
# total CPU time (s): 3587.95
# total CPU user time (s): 3585.41
# total CPU system time (s): 2.53707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91212 second user time and 16.7086 second system time
The end
Begin job on nodeC022 at 2024-07-31 02:43:33
IDJOB=4464577
IDBENCH=162562
IDSOLVER=3092
FILE ID=nodeC022/4464577-1722386613
RUNJOBID= nodeC022-1722378594-28846
SLURM_JOB_ID= 8249845
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464577-1722386613/watcher-4464577-1722386613 -o /tmp/evaluation-result-4464577-1722386613/solver-4464577-1722386613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28846 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464577-1722386613.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f0e9fb7942cf170d68fd4efe40bdbadd
RANDOM SEED=239201710
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.739
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 : 7000.46
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 : 3684.592
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.42
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 : 3601.765
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 : 7000.46
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 : 3600.647
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.42
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 : 3665.815
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 : 7000.46
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 : 3684.614
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.42
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 : 3664.130
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 7000.46
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 : 3600.535
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.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126281184 kB
MemAvailable: 129192564 kB
Buffers: 108244 kB
Cached: 3607780 kB
SwapCached: 0 kB
Active: 268828 kB
Inactive: 4431236 kB
Active(anon): 1516 kB
Inactive(anon): 1003892 kB
Active(file): 267312 kB
Inactive(file): 3427344 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28544 kB
Writeback: 0 kB
AnonPages: 984164 kB
Mapped: 124832 kB
Shmem: 21336 kB
KReclaimable: 112740 kB
Slab: 200804 kB
SReclaimable: 112740 kB
SUnreclaim: 88064 kB
KernelStack: 4284 kB
PageTables: 11152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 903456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 565248 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: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC022 at 2024-07-31 03:43:31