Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco-sat 1.1 | No Cert. | 2400.07 | 2400.8 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml |
MD5SUM | d05a87fa530094a27b230f4f9ca3d0a8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 4280744 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1332 |
Number of constraints | 631 |
Number of domains | 2 |
Minimum domain size | 36 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":36,"count":36},{"size":44,"count":630}] |
Minimum variable degree | 0 |
Maximum variable degree | 36 |
Distribution of variable degrees | [{"degree":0,"count":666},{"degree":2,"count":630},{"degree":36,"count":36}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":3,"count":630},{"arity":36,"count":1}] |
Number of extensional constraints | 630 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":630},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.09/0.19 c SAT : Variables: 58320 -- Clauses: 1250028 0.09/0.19 c best=?? lower=0 upper=711237632 0.19/0.25 c 0.19/0.25 c This is cosoco 1.0 -- 0.19/0.25 c 0.19/0.25 c enable optimization 0.19/0.25 c ========================================[ Problem Statistics ]=========================================== 0.19/0.25 c | 0.19/0.25 c | Parse time : 0.16 s 0.19/0.25 c | 0.19/0.25 c | Variables: 1332 0.19/0.25 c | Domain Sizes: 36..44 0.19/0.25 c | 0.19/0.25 c | Constraints: 632 0.19/0.25 c | Arity: 3..630 -- Ternary: 630 0.19/0.25 c | 0.19/0.25 c | Types: 0.19/0.25 c | All Different: 1 0.19/0.25 c | Extension: 630 (nb tuples: 1260..1260) -- (shared: 629) 0.19/0.25 c | Sum: 1 0.19/0.25 c | 0.19/0.25 c ========================================================================================================= 0.19/0.25 conflict 69lvl : 35 bt34-1264:0(1657)X5057172 0.19/0.27 conflict 69lvl : 68 bt34-1228:0(3163)X5057244 0.19/0.28 conflict 69lvl : 68 bt35-1265:0(3148)X5057316 0.19/0.28 conflict 135lvl : 34 bt34-1197:0(1671)X5057388 0.19/0.29 conflict 69lvl : 68 bt33-1227:0(3192)X5057526 0.29/0.31 conflict 69lvl : 67 bt66-1230:0(3154)X5057598 0.29/0.31 conflict 102lvl : 66 bt661267:0(3171)X5057670 0.29/0.31 conflict 100lvl : 66 bt34-1271:0(3172)X5057775 0.29/0.33 conflict 69lvl : 66 bt66-1264:0(3173)X5057878 0.29/0.33 conflict 100lvl : 66 bt33-1193:0(3189)X5057950 0.29/0.34 conflict 69lvl : 67 bt66-1229:0(3137)X5058053 0.29/0.35 conflict 100lvl : 66 bt34-1270:0(3151)X5058125 0.29/0.36 conflict 69lvl : 66 bt66-1234:0(3143)X5058228 0.29/0.36 conflict 69lvl : 65 bt65-1235:0(3165)X5058300 0.29/0.36 conflict 69lvl : 67 bt67-1234:0(4391)X5058372 0.29/0.36 conflict 199lvl : 66 bt341194:0(4387)X5058444 0.29/0.38 conflict 101lvl : 66 bt66-1199:0(3181)X5058646 0.29/0.38 conflict 133lvl : 66 bt65-1270:0(3195)X5058750 0.59/0.61 o 7701644 0.59/0.61 c 1 calls to solver: best=7701644 lower=0 upper=7701643 0.79/0.87 conflict 69lvl : 36 bt36-560:0(2822)X5062891 0.79/0.87 conflict 69lvl : 36 bt35-1087:0(2849)X5062963 0.79/0.87 conflict 69lvl : 38 bt35-550:0(3976)X5063035 0.99/1.03 conflict 69lvl : 38 bt38-668:0(4154)X5063674 0.99/1.03 conflict 69lvl : 38 bt37-1230:0(4181)X5063746 0.99/1.03 conflict 69lvl : 41 bt37-655:0(5406)X5063818 1.29/1.38 conflict 69lvl : 36 bt36-740:0(2822)X5068882 1.29/1.38 conflict 69lvl : 36 bt35-331:0(2849)X5068954 1.29/1.38 conflict 69lvl : 38 bt35-733:0(3976)X5069026 1.48/1.56 conflict 69lvl : 38 bt37-1124:0(4154)X5070649 1.48/1.56 conflict 69lvl : 41 bt37-1124:0(5407)X5070721 1.88/1.92 conflict 101lvl : 36 bt36-1206:0(2822)X5075447 1.88/1.92 conflict 69lvl : 36 bt35-547:0(2849)X5075551 1.88/1.92 conflict 132lvl : 35 bt34-619:0(2842)X5075623 1.88/1.93 conflict 69lvl : 38 bt38-630:0(3974)X5075758 1.88/1.93 conflict 69lvl : 38 bt37-1196:0(4001)X5075830 1.88/1.93 conflict 69lvl : 41 bt37-625:0(5170)X5075902 1.98/2.09 conflict 69lvl : 36 bt35-560:0(2822)X5077479 2.09/2.10 conflict 69lvl : 38 bt35-560:0(3977)X5077551 2.20/2.24 conflict 69lvl : 36 bt36-704:0(2822)X5078048 2.20/2.24 conflict 69lvl : 36 bt35-1051:0(2849)X5078120 2.20/2.24 conflict 69lvl : 38 bt35-1052:0(3976)X5078192 2.30/2.37 conflict 69lvl : 38 bt37-654:0(4154)X5078464 2.30/2.37 conflict 69lvl : 41 bt37-656:0(5406)X5078536 2.49/2.53 conflict 101lvl : 38 bt38-1165:0(4154)X5079850 2.49/2.53 conflict 69lvl : 38 bt37-654:0(4181)X5079954 2.49/2.53 conflict 69lvl : 41 bt37-1160:0(5406)X5080026 2.59/2.68 conflict 101lvl : 38 bt38-1050:0(4154)X5081420 2.59/2.69 conflict 69lvl : 38 bt37-1158:0(4181)X5081524 2.59/2.69 conflict 69lvl : 41 bt37-1052:0(5405)X5081596 2.99/3.03 conflict 69lvl : 36 bt35-1052:0(2822)X5086363 2.99/3.03 conflict 69lvl : 38 bt35-1052:0(3977)X5086435 3.09/3.19 conflict 101lvl : 36 bt36-126:0(2822)X5088021 3.09/3.19 conflict 69lvl : 36 bt35-1051:0(2849)X5088125 3.19/3.20 conflict 101lvl : 38 bt35-128:0(3976)X5088197 3.30/3.38 conflict 69lvl : 38 bt37-1050:0(4154)X5090368 3.30/3.38 conflict 69lvl : 41 bt37-1051:0(5406)X5090440 3.49/3.53 conflict 69lvl : 38 bt38-656:0(4154)X5091834 3.49/3.54 conflict 102lvl : 38 bt37-1050:0(4181)X5091906 3.49/3.54 conflict 69lvl : 41 bt37-1051:0(5406)X5092011 3.59/3.69 conflict 133lvl : 38 bt38-1244:0(4154)X5093405 3.59/3.69 conflict 69lvl : 38 bt37-1050:0(4181)X5093541 3.69/3.70 conflict 69lvl : 41 bt37-1237:0(5406)X5093613 3.99/4.04 conflict 69lvl : 36 bt35-584:0(2822)X5098123 3.99/4.05 conflict 69lvl : 38 bt35-584:0(3977)X5098195 4.19/4.23 conflict 69lvl : 38 bt38-944:0(4154)X5100334 4.19/4.23 conflict 69lvl : 38 bt37-1266:0(4181)X5100406 4.19/4.24 conflict 69lvl : 41 bt37-943:0(5406)X5100478 4.29/4.30 conflict 101lvl : 38 bt38-56:0(4154)X5100680 4.29/4.31 conflict 69lvl : 38 bt37-942:0(4181)X5100784 4.29/4.31 conflict 69lvl : 41 bt37-44:0(5406)X5100856 4.39/4.46 conflict 101lvl : 38 bt38-402:0(4154)X5102053 4.39/4.46 conflict 69lvl : 38 bt37-42:0(4181)X5102157 4.39/4.47 conflict 69lvl : 41 bt37-409:0(5405)X5102229 4.59/4.62 conflict 101lvl : 38 bt38-78:0(4154)X5103623 4.59/4.62 conflict 69lvl : 38 bt37-402:0(4181)X5103727 4.59/4.63 conflict 69lvl : 41 bt37-85:0(5405)X5103799 4.68/4.78 conflict 101lvl : 38 bt38-1194:0(4154)X5105193 4.68/4.78 conflict 69lvl : 38 bt37-78:0(4181)X5105297 4.68/4.79 conflict 69lvl : 41 bt37-1201:0(5405)X5105369 4.88/4.94 conflict 101lvl : 38 bt38-222:0(4154)X5106763 4.88/4.94 conflict 69lvl : 38 bt37-1194:0(4181)X5106867 4.88/4.95 conflict 69lvl : 41 bt37-229:0(5405)X5106939 5.29/5.31 conflict 69lvl : 38 bt37-690:0(4154)X5110518 5.29/5.31 conflict 69lvl : 41 bt37-691:0(5406)X5110590 5.39/5.47 conflict 69lvl : 38 bt38-510:0(4154)X5111984 5.39/5.47 conflict 69lvl : 38 bt37-150:0(4181)X5112056 5.39/5.48 conflict 69lvl : 41 bt37-151:0(5405)X5112128 5.60/5.63 conflict 69lvl : 38 bt38-656:0(4154)X5113522 5.60/5.63 conflict 101lvl : 38 bt37-150:0(4181)X5113594 5.60/5.63 conflict 69lvl : 41 bt37-151:0(5406)X5113698 5.99/6.00 conflict 101lvl : 38 bt37-726:0(4181)X5115529 5.99/6.00 conflict 69lvl : 41 bt37-164:0(5406)X5115633 6.09/6.16 conflict 101lvl : 38 bt38-596:0(4154)X5117027 6.09/6.16 conflict 69lvl : 38 bt37-1194:0(4181)X5117131 6.09/6.16 conflict 69lvl : 41 bt37-1195:0(5406)X5117203 6.29/6.31 conflict 101lvl : 38 bt38-114:0(4154)X5118597 6.29/6.32 conflict 69lvl : 38 bt37-1194:0(4181)X5118701 6.29/6.32 conflict 69lvl : 41 bt37-1195:0(5405)X5118773 6.39/6.41 conflict 101lvl : 38 bt37-157:0(4154)X5119060 6.39/6.42 conflict 69lvl : 41 bt37-157:0(5407)X5119164 6.49/6.56 conflict 101lvl : 38 bt37-114:0(4154)X5120174 6.49/6.56 conflict 166lvl : 37 bt36-1194:0(4175)X5120278 6.49/6.57 conflict 102lvl : 40 bt40157:0(5403)X5120447 6.49/6.57 conflict 69lvl : 45 bt40-116:0(6505)X5120552 6.70/6.72 conflict 101lvl : 38 bt37-438:0(4181)X5122070 6.70/6.72 conflict 69lvl : 41 bt37-151:0(5406)X5122174 6.99/7.07 conflict 134lvl : 37 bt37690:0(4152)X5126856 6.99/7.07 conflict 101lvl : 41 bt37116:0(5406)X5126993 7.19/7.22 conflict 69lvl : 37 bt37-150:0(4151)X5128419 7.19/7.23 conflict 100lvl : 37 bt36-114:0(4175)X5128491 7.19/7.23 conflict 135lvl : 40 bt40692:0(5401)X5128594 7.19/7.24 conflict 101lvl : 45 bt40121:0(6505)X5128732 7.29/7.38 conflict 69lvl : 38 bt38-1196:0(4154)X5130282 7.29/7.39 conflict 100lvl : 38 bt36-690:0(4181)X5130354 7.29/7.39 conflict 68lvl : 41 bt41-1195:0(5404)X5130457 7.29/7.39 conflict 69lvl : 41 bt40-691:0(5431)X5130528 7.69/7.75 conflict 133lvl : 36 bt36-114:0(4146)X5135685 7.69/7.76 conflict 100lvl : 40 bt36-151:0(5426)X5135821 7.88/7.91 conflict 69lvl : 37 bt37-151:0(4151)X5137244 7.88/7.91 conflict 100lvl : 37 bt36-6:0(4175)X5137316 7.88/7.92 conflict 102lvl : 40 bt4013:0(5402)X5137419 7.98/8.07 conflict 69lvl : 38 bt38-1195:0(4154)X5138927 7.98/8.07 conflict 100lvl : 38 bt37-6:0(4181)X5138999 7.98/8.07 conflict 69lvl : 41 bt37-8:0(5406)X5139102 8.18/8.22 conflict 69lvl : 38 bt38-1165:0(4154)X5140496 8.18/8.23 conflict 101lvl : 38 bt37-6:0(4181)X5140568 8.18/8.23 conflict 69lvl : 41 bt37-7:0(5406)X5140672 8.28/8.38 conflict 101lvl : 37 bt37-114:0(4152)X5142066 8.28/8.38 conflict 101lvl : 41 bt37-7:0(5405)X5142170 8.68/8.75 conflict 165lvl : 36 bt366:0(4146)X5145775 8.68/8.75 conflict 101lvl : 40 bt36-164:0(5401)X5145943 8.79/8.86 conflict 134lvl : 37 bt37-114:0(4149)X5146549 8.79/8.86 conflict 133lvl : 37 bt36-1194:0(4175)X5146686 8.79/8.87 conflict 101lvl : 40 bt40-115:0(5399)X5146822 9.18/9.24 conflict 103lvl : 37 bt377:0(4151)X5152259 9.18/9.24 conflict 132lvl : 37 bt36-6:0(4175)X5152365 9.18/9.24 conflict 69lvl : 40 bt40-1196:0(5401)X5152500 9.18/9.25 conflict 69lvl : 45 bt40-1196:0(6505)X5152572 9.38/9.40 conflict 131lvl : 37 bt36-6:0(4175)X5154090 9.38/9.40 conflict 69lvl : 41 bt40-152:0(5404)X5154224 9.68/9.77 conflict 135lvl : 37 bt37548:0(4150)X5158314 9.68/9.77 conflict 100lvl : 37 bt36-546:0(4175)X5158452 9.68/9.77 conflict 69lvl : 41 bt40-115:0(5404)X5158555 9.68/9.78 conflict 169lvl : 45 bt40553:0(6504)X5158627 9.89/9.93 conflict 132lvl : 37 bt36-1230:0(4175)X5160245 9.89/9.94 conflict 102lvl : 41 bt40-1195:0(5404)X5160380 9.89/9.94 conflict 69lvl : 45 bt40-1201:0(6504)X5160485 9.99/10.09 conflict 69lvl : 37 bt37-8:0(4151)X5162003 9.99/10.09 conflict 100lvl : 37 bt36-1230:0(4175)X5162075 10.08/10.10 conflict 69lvl : 41 bt40-152:0(5404)X5162178 10.08/10.10 conflict 102lvl : 45 bt40-152:0(6505)X5162250 10.18/10.25 conflict 101lvl : 37 bt37-6:0(4152)X5163801 10.18/10.26 conflict 69lvl : 41 bt37-7:0(5405)X5163905 10.58/10.63 conflict 101lvl : 38 bt38-1172:0(4154)X5169623 10.58/10.63 conflict 101lvl : 38 bt37-402:0(4181)X5169727 10.58/10.63 conflict 69lvl : 41 bt37-1159:0(5406)X5169831 10.88/11.00 conflict 101lvl : 38 bt38-1208:0(4154)X5172973 10.99/11.00 conflict 101lvl : 38 bt37-1050:0(4181)X5173077 10.99/11.01 conflict 69lvl : 41 bt37-1195:0(5406)X5173181 11.09/11.16 conflict 69lvl : 38 bt38-1159:0(4151)X5174575 11.09/11.16 conflict 101lvl : 38 bt37-582:0(4178)X5174647 11.09/11.17 conflict 69lvl : 41 bt37-583:0(5403)X5174751 11.48/11.50 o 7590561 11.88/11.99 conflict 69lvl : 38 bt38-800:0(4154)X5180238 11.88/11.99 conflict 69lvl : 38 bt37-402:0(4181)X5180310 11.88/11.99 conflict 69lvl : 41 bt37-799:0(5406)X5180382 12.09/12.15 conflict 101lvl : 38 bt38-776:0(4154)X5181776 12.09/12.15 conflict 69lvl : 38 bt37-42:0(4181)X5181880 12.09/12.15 conflict 69lvl : 41 bt37-763:0(5406)X5181952 12.28/12.31 conflict 69lvl : 38 bt38-416:0(4154)X5183346 12.28/12.31 conflict 101lvl : 38 bt37-978:0(4181)X5183418 12.28/12.31 conflict 69lvl : 41 bt37-403:0(5406)X5183522 12.38/12.46 conflict 69lvl : 38 bt37-763:0(4154)X5184916 12.38/12.47 conflict 69lvl : 41 bt37-763:0(5407)X5184988 12.78/12.83 conflict 101lvl : 38 bt38-805:0(4154)X5190902 12.78/12.83 conflict 101lvl : 38 bt37-1122:0(4181)X5191006 12.78/12.83 conflict 69lvl : 41 bt37-799:0(5406)X5191110 12.88/12.98 conflict 69lvl : 38 bt38-596:0(4154)X5192504 12.88/12.99 conflict 101lvl : 38 bt37-186:0(4181)X5192576 12.88/12.99 conflict 69lvl : 41 bt37-583:0(5406)X5192680 13.08/13.14 conflict 132lvl : 38 bt38-308:0(4154)X5194074 13.08/13.14 conflict 69lvl : 38 bt37-978:0(4181)X5194209 13.08/13.15 conflict 69lvl : 41 bt37-295:0(5406)X5194281 13.28/13.30 conflict 131lvl : 38 bt38-1136:0(4154)X5195675 13.28/13.30 conflict 101lvl : 38 bt37-6:0(4181)X5195809 13.28/13.31 conflict 69lvl : 41 bt37-1123:0(5406)X5195913 13.58/13.66 conflict 101lvl : 38 bt37-150:0(4181)X5201463 13.58/13.67 conflict 69lvl : 41 bt37-152:0(5406)X5201567 13.79/13.82 conflict 101lvl : 38 bt38-704:0(4154)X5202961 13.79/13.82 conflict 100lvl : 38 bt37-42:0(4181)X5203065 13.79/13.83 conflict 69lvl : 41 bt37-691:0(5406)X5203168 13.89/13.98 conflict 69lvl : 38 bt38-295:0(4154)X5204562 13.89/13.98 conflict 101lvl : 38 bt37-798:0(4181)X5204634 13.89/13.98 conflict 69lvl : 41 bt37-296:0(5406)X5204738 14.29/14.35 conflict 133lvl : 36 bt36-114:0(4146)X5210669 14.29/14.36 conflict 102lvl : 45 bt40-128:0(6501)X5210805 14.49/14.51 conflict 101lvl : 38 bt37-150:0(4154)X5212356 14.49/14.52 conflict 101lvl : 41 bt37-164:0(5406)X5212460 14.49/14.59 conflict 101lvl : 38 bt37-150:0(4154)X5212694 14.49/14.59 conflict 69lvl : 41 bt37-151:0(5406)X5212798 14.69/14.74 conflict 101lvl : 38 bt37-114:0(4154)X5213995 14.69/14.74 conflict 69lvl : 41 bt37-115:0(5406)X5214099 14.79/14.89 conflict 100lvl : 38 bt37-978:0(4151)X5215493 14.89/14.90 conflict 69lvl : 41 bt37-979:0(5403)X5215596 15.39/15.47 conflict 132lvl : 38 bt38-1172:0(4154)X5222943 15.39/15.47 conflict 101lvl : 38 bt37-726:0(4181)X5223078 15.39/15.47 conflict 69lvl : 41 bt37-1159:0(5406)X5223182 15.59/15.63 conflict 101lvl : 38 bt37-582:0(4154)X5224576 15.59/15.64 conflict 69lvl : 41 bt37-583:0(5406)X5224680 15.69/15.79 conflict 69lvl : 38 bt38-727:0(4154)X5226074 15.69/15.79 conflict 101lvl : 38 bt37-402:0(4181)X5226146 15.69/15.79 conflict 101lvl : 41 bt37-740:0(5406)X5226250 15.89/15.95 conflict 132lvl : 38 bt38-236:0(4154)X5227676 15.89/15.95 conflict 101lvl : 38 bt37-186:0(4181)X5227811 15.89/15.95 conflict 69lvl : 41 bt37-223:0(5406)X5227915 16.09/16.10 conflict 69lvl : 38 bt38-1231:0(4151)X5229309 16.09/16.10 conflict 101lvl : 38 bt37-582:0(4178)X5229381 16.09/16.11 conflict 69lvl : 41 bt37-583:0(5403)X5229485 16.39/16.46 conflict 102lvl : 37 bt37187:0(4151)X5234589 16.39/16.46 conflict 100lvl : 37 bt36-186:0(4175)X5234694 16.39/16.47 conflict 100lvl : 41 bt36-200:0(5404)X5234797 16.59/16.62 conflict 69lvl : 38 bt38-619:0(4154)X5236220 16.59/16.63 conflict 69lvl : 38 bt37-978:0(4181)X5236292 16.59/16.63 conflict 69lvl : 41 bt37-992:0(5406)X5236364 16.69/16.78 conflict 101lvl : 38 bt38-301:0(4154)X5237758 16.69/16.78 conflict 101lvl : 38 bt37-582:0(4181)X5237862 16.69/16.79 conflict 136lvl : 41 bt37584:0(5406)X5237966 16.89/16.94 conflict 134lvl : 38 bt37-43:0(4154)X5239427 16.89/16.94 conflict 133lvl : 37 bt36-1122:0(4175)X5239564 16.89/16.94 conflict 69lvl : 41 bt41-43:0(5405)X5239700 16.89/16.95 conflict 69lvl : 41 bt40-799:0(5432)X5239772 16.89/16.95 conflict 69lvl : 45 bt40-805:0(6504)X5239844 17.09/17.10 conflict 69lvl : 38 bt38-224:0(4151)X5241362 17.09/17.10 conflict 101lvl : 38 bt37-1122:0(4178)X5241434 17.09/17.11 conflict 69lvl : 41 bt37-223:0(5403)X5241538 17.38/17.47 conflict 101lvl : 38 bt38-1028:0(4154)X5245564 17.38/17.47 conflict 69lvl : 38 bt37-402:0(4181)X5245668 17.38/17.48 conflict 69lvl : 41 bt37-1015:0(5406)X5245740 17.59/17.61 conflict 101lvl : 38 bt38-740:0(4154)X5246572 17.59/17.61 conflict 101lvl : 38 bt37-1014:0(4181)X5246676 17.59/17.62 conflict 132lvl : 37 bt36-618:0(4175)X5246780 17.59/17.62 conflict 69lvl : 41 bt40-1016:0(5404)X5246915 17.69/17.72 conflict 69lvl : 38 bt38-1195:0(4154)X5247310 17.69/17.72 conflict 100lvl : 38 bt37-726:0(4181)X5247382 17.69/17.73 conflict 69lvl : 41 bt37-1208:0(5406)X5247485 17.78/17.88 conflict 132lvl : 38 bt38-632:0(4154)X5248879 17.78/17.88 conflict 69lvl : 38 bt37-1194:0(4181)X5249014 17.78/17.89 conflict 69lvl : 41 bt37-620:0(5406)X5249086 17.98/18.04 conflict 101lvl : 38 bt38-1122:0(4154)X5250480 17.98/18.04 conflict 100lvl : 38 bt37-618:0(4181)X5250584 17.98/18.04 conflict 69lvl : 41 bt37-1124:0(5405)X5250687 18.08/18.19 conflict 69lvl : 38 bt38-907:0(4151)X5252081 18.18/18.20 conflict 69lvl : 38 bt37-78:0(4178)X5252153 18.18/18.20 conflict 69lvl : 41 bt37-92:0(5403)X5252225 18.48/18.56 conflict 69lvl : 38 bt38-812:0(4154)X5256772 18.48/18.56 conflict 101lvl : 38 bt37-366:0(4181)X5256844 18.48/18.57 conflict 69lvl : 41 bt37-799:0(5406)X5256948 18.69/18.72 conflict 101lvl : 38 bt38-445:0(4154)X5258342 18.69/18.72 conflict 69lvl : 38 bt37-798:0(4181)X5258446 18.69/18.73 conflict 69lvl : 41 bt37-799:0(5406)X5258518 18.79/18.88 conflict 101lvl : 38 bt38-656:0(4154)X5259912 18.79/18.88 conflict 101lvl : 38 bt37-798:0(4181)X5260016 18.79/18.88 conflict 69lvl : 41 bt37-799:0(5406)X5260120 18.98/19.04 conflict 132lvl : 38 bt38-1172:0(4154)X5261514 18.98/19.04 conflict 101lvl : 38 bt37-798:0(4181)X5261649 18.98/19.04 conflict 69lvl : 41 bt37-1165:0(5406)X5261753 19.28/19.36 conflict 131lvl : 38 bt37-236:0(4154)X5263353 19.28/19.36 conflict 101lvl : 41 bt37-236:0(5407)X5263487 19.48/19.51 conflict 136lvl : 37 bt37979:0(4152)X5264913 19.48/19.52 conflict 100lvl : 37 bt36-978:0(4175)X5265052 19.48/19.52 conflict 102lvl : 40 bt40985:0(5402)X5265155 19.48/19.53 conflict 69lvl : 45 bt40-44:0(6504)X5265260 19.58/19.68 conflict 69lvl : 38 bt38-764:0(4154)X5266778 19.58/19.68 conflict 101lvl : 38 bt37-978:0(4181)X5266850 19.58/19.68 conflict 69lvl : 41 bt37-763:0(5406)X5266954 19.98/20.04 conflict 101lvl : 38 bt38-164:0(4154)X5272244 19.98/20.04 conflict 100lvl : 38 bt36-222:0(4181)X5272348 19.98/20.04 conflict 69lvl : 41 bt40-151:0(5404)X5272451 19.98/20.05 conflict 101lvl : 45 bt40229:0(6504)X5272523 20.18/20.20 conflict 134lvl : 38 bt37-764:0(4154)X5274073 20.18/20.20 conflict 166lvl : 37 bt36-42:0(4175)X5274210 20.18/20.21 conflict 69lvl : 40 bt40-43:0(5403)X5274379 20.28/20.36 conflict 100lvl : 37 bt36-582:0(4175)X5275854 20.48/20.52 conflict 100lvl : 37 bt36-78:0(4175)X5277360 20.48/20.52 conflict 69lvl : 41 bt40-43:0(5404)X5277463 20.48/20.53 conflict 101lvl : 45 bt4085:0(6504)X5277535 20.58/20.69 conflict 101lvl : 40 bt40-776:0(6743)X5279085 21.18/21.25 conflict 131lvl : 38 bt38-992:0(4154)X5284571 21.18/21.25 conflict 101lvl : 38 bt37-78:0(4181)X5284705 21.18/21.25 conflict 69lvl : 41 bt37-979:0(5406)X5284809 21.38/21.41 conflict 136lvl : 37 bt3779:0(4152)X5286203 21.38/21.41 conflict 69lvl : 41 bt37-151:0(5406)X5286342 21.48/21.56 conflict 101lvl : 37 bt37-79:0(4151)X5287736 21.48/21.56 conflict 132lvl : 37 bt36-762:0(4175)X5287840 21.48/21.57 conflict 134lvl : 40 bt4085:0(5399)X5287975 21.48/21.57 conflict 69lvl : 45 bt40-44:0(6502)X5288112 21.88/21.93 conflict 101lvl : 38 bt38-85:0(4154)X5293590 21.88/21.93 conflict 102lvl : 38 bt37-222:0(4181)X5293694 21.88/21.93 conflict 69lvl : 41 bt37-79:0(5406)X5293799 21.99/22.09 conflict 69lvl : 38 bt37-871:0(4154)X5295193 21.99/22.09 conflict 69lvl : 41 bt37-871:0(5407)X5295265 22.18/22.24 conflict 100lvl : 38 bt37-222:0(4154)X5296659 22.18/22.25 conflict 69lvl : 41 bt37-224:0(5406)X5296762 22.38/22.40 conflict 102lvl : 38 bt37-114:0(4181)X5298156 22.38/22.40 conflict 69lvl : 41 bt37-589:0(5406)X5298261 22.68/22.75 conflict 69lvl : 41 bt37-85:0(5405)X5301969 22.88/22.90 conflict 167lvl : 37 bt37763:0(4152)X5303363 22.88/22.90 conflict 132lvl : 37 bt36-762:0(4175)X5303533 22.88/22.91 conflict 102lvl : 40 bt40188:0(5401)X5303668 22.88/22.91 conflict 100lvl : 40 bt36-187:0(5426)X5303773 22.98/23.07 conflict 101lvl : 38 bt38-798:0(4154)X5305196 22.98/23.07 conflict 101lvl : 38 bt37-582:0(4181)X5305300 22.98/23.07 conflict 101lvl : 41 bt37-812:0(5405)X5305404 23.18/23.22 conflict 168lvl : 37 bt37224:0(4150)X5306830 23.18/23.22 conflict 100lvl : 37 bt36-222:0(4175)X5307001 23.18/23.23 conflict 69lvl : 40 bt40-44:0(5402)X5307104 23.18/23.23 conflict 101lvl : 45 bt40224:0(6505)X5307176 23.28/23.38 conflict 103lvl : 37 bt37583:0(4152)X5308726 23.28/23.38 conflict 100lvl : 37 bt36-582:0(4175)X5308832 23.28/23.39 conflict 69lvl : 41 bt40-764:0(5404)X5308935 23.28/23.39 conflict 69lvl : 45 bt40-764:0(6505)X5309007 23.67/23.75 conflict 134lvl : 37 bt37193:0(4151)X5314287 23.67/23.75 conflict 131lvl : 37 bt36-186:0(4175)X5314424 23.67/23.76 conflict 69lvl : 45 bt40-121:0(6504)X5314558 23.87/23.91 conflict 69lvl : 38 bt38-80:0(4154)X5316076 23.87/23.91 conflict 101lvl : 38 bt37-186:0(4181)X5316148 23.87/23.92 conflict 69lvl : 41 bt37-79:0(5406)X5316252 23.97/24.07 conflict 69lvl : 40 bt40-979:0(5401)X5317646 24.18/24.22 conflict 101lvl : 38 bt37-151:0(4154)X5319082 24.18/24.22 conflict 132lvl : 37 bt36-42:0(4175)X5319186 24.18/24.23 conflict 69lvl : 41 bt40-157:0(5404)X5319321 24.48/24.60 conflict 69lvl : 37 bt37-79:0(4151)X5322533 24.58/24.60 conflict 100lvl : 37 bt36-114:0(4175)X5322605 24.58/24.60 conflict 102lvl : 40 bt40121:0(5402)X5322708 24.58/24.61 conflict 69lvl : 45 bt40-92:0(6503)X5322813 24.68/24.70 conflict 131lvl : 37 bt36-582:0(4175)X5323155 24.68/24.71 conflict 69lvl : 40 bt40-121:0(5401)X5323289 24.68/24.71 conflict 101lvl : 45 bt40116:0(6505)X5323361 24.98/25.06 conflict 101lvl : 37 bt37-762:0(4152)X5327809 24.98/25.06 conflict 69lvl : 41 bt37-769:0(5405)X5327913 25.18/25.21 conflict 100lvl : 37 bt36-474:0(4175)X5329307 25.18/25.22 conflict 134lvl : 40 bt40476:0(5400)X5329410 25.18/25.22 conflict 133lvl : 40 bt36-475:0(5426)X5329547 25.29/25.37 conflict 102lvl : 37 bt37979:0(4151)X5331003 25.29/25.37 conflict 100lvl : 37 bt36-978:0(4175)X5331108 25.48/25.53 conflict 131lvl : 37 bt36-978:0(4175)X5332614 25.48/25.53 conflict 69lvl : 40 bt40-56:0(5401)X5332748 25.48/25.54 conflict 101lvl : 40 bt36-763:0(5426)X5332820 25.58/25.69 conflict 101lvl : 38 bt38-85:0(4151)X5334244 25.58/25.69 conflict 100lvl : 38 bt37-582:0(4178)X5334348 25.58/25.69 conflict 101lvl : 41 bt37-583:0(5404)X5334451 25.98/26.05 conflict 135lvl : 37 bt37121:0(4151)X5339679 25.98/26.05 conflict 132lvl : 37 bt36-114:0(4175)X5339817 25.98/26.06 conflict 69lvl : 45 bt40-776:0(6504)X5339952 26.18/26.21 conflict 100lvl : 37 bt37-78:0(4152)X5341470 26.18/26.21 conflict 101lvl : 41 bt37-115:0(5405)X5341573 26.28/26.36 conflict 101lvl : 37 bt37-150:0(4151)X5342999 26.28/26.37 conflict 133lvl : 37 bt36-114:0(4175)X5343103 26.28/26.37 conflict 134lvl : 40 bt40116:0(5400)X5343239 26.28/26.37 conflict 69lvl : 45 bt40-596:0(6503)X5343376 26.49/26.53 conflict 101lvl : 38 bt37-979:0(5436)X5344894 26.49/26.53 conflict 69lvl : 41 bt37-114:0(5280)X5344998 26.78/26.89 conflict 131lvl : 37 bt37-78:0(4152)X5350784 26.88/26.90 conflict 101lvl : 41 bt37-157:0(5406)X5350918 26.98/27.05 conflict 133lvl : 37 bt36-222:0(4175)X5352344 26.98/27.05 conflict 101lvl : 41 bt41-596:0(5404)X5352480 26.98/27.06 conflict 101lvl : 41 bt40-223:0(5431)X5352584 27.18/27.21 conflict 136lvl : 37 bt3743:0(4151)X5354091 27.18/27.21 conflict 133lvl : 37 bt36-42:0(4175)X5354230 27.18/27.21 conflict 102lvl : 40 bt40152:0(5401)X5354366 27.18/27.22 conflict 69lvl : 45 bt40-56:0(6503)X5354471 27.28/27.37 conflict 69lvl : 37 bt37-763:0(4151)X5355989 27.28/27.37 conflict 133lvl : 37 bt36-582:0(4175)X5356061 27.28/27.37 conflict 102lvl : 40 bt40769:0(5401)X5356197 27.28/27.37 conflict 100lvl : 40 bt36-763:0(5426)X5356302 27.48/27.53 conflict 101lvl : 38 bt38-121:0(4151)X5357725 27.48/27.53 conflict 100lvl : 38 bt37-42:0(4178)X5357829 27.48/27.53 conflict 101lvl : 41 bt37-43:0(5403)X5357932 27.78/27.89 conflict 69lvl : 37 bt37-151:0(4151)X5362513 27.78/27.89 conflict 100lvl : 37 bt36-78:0(4175)X5362585 27.88/27.90 conflict 102lvl : 40 bt4085:0(5401)X5362688 27.98/28.05 conflict 101lvl : 38 bt37-835:0(4151)X5364196 27.98/28.05 conflict 133lvl : 37 bt36-582:0(4172)X5364300 27.98/28.06 conflict 100lvl : 41 bt40-848:0(5401)X5364436 28.38/28.40 conflict 101lvl : 37 bt37-223:0(4151)X5369006 28.38/28.40 conflict 133lvl : 37 bt36-114:0(4175)X5369110 28.38/28.41 conflict 102lvl : 40 bt40121:0(5401)X5369246 28.48/28.56 conflict 101lvl : 38 bt38-1015:0(4154)X5370754 28.48/28.56 conflict 101lvl : 38 bt37-114:0(4181)X5370858 28.48/28.57 conflict 69lvl : 41 bt37-121:0(5406)X5370962 28.58/28.68 conflict 100lvl : 37 bt36-762:0(4175)X5371538 28.58/28.69 conflict 69lvl : 45 bt40-128:0(6505)X5371641 28.78/28.80 conflict 135lvl : 40 bt4044:0(5400)X5372293 29.08/29.10 conflict 101lvl : 38 bt37-439:0(4151)X5375159 29.08/29.10 conflict 133lvl : 37 bt36-42:0(4172)X5375263 29.08/29.11 conflict 69lvl : 41 bt40-440:0(5401)X5375399 29.08/29.11 conflict 69lvl : 45 bt40-440:0(6502)X5375471 29.38/29.47 conflict 100lvl : 37 bt37-222:0(4152)X5380713 29.38/29.47 conflict 100lvl : 41 bt37-128:0(5405)X5380816 29.58/29.62 conflict 167lvl : 37 bt37224:0(4150)X5382241 29.58/29.63 conflict 131lvl : 37 bt36-222:0(4175)X5382411 29.58/29.63 conflict 100lvl : 40 bt36-223:0(5426)X5382545 29.68/29.78 conflict 167lvl : 37 bt37224:0(4146)X5383968 29.68/29.79 conflict 166lvl : 37 bt36-223:0(4172)X5384138 29.68/29.79 conflict 134lvl : 40 bt40224:0(5397)X5384307 30.08/30.14 conflict 132lvl : 37 bt37-115:0(4150)X5387726 30.08/30.15 conflict 133lvl : 37 bt36-114:0(4175)X5387861 30.28/30.30 conflict 69lvl : 37 bt37-128:0(4150)X5389400 30.28/30.30 conflict 101lvl : 37 bt36-582:0(4175)X5389472 30.28/30.31 conflict 101lvl : 40 bt36-835:0(5426)X5389576 30.38/30.46 conflict 69lvl : 38 bt38-1016:0(4154)X5391000 30.38/30.47 conflict 101lvl : 38 bt37-42:0(4181)X5391072 30.38/30.47 conflict 69lvl : 41 bt37-43:0(5406)X5391176 30.58/30.62 conflict 168lvl : 37 bt37548:0(4147)X5392570 30.58/30.62 conflict 100lvl : 37 bt36-546:0(4172)X5392741 30.58/30.63 conflict 101lvl : 41 bt40-547:0(5428)X5392844 30.58/30.63 conflict 133lvl : 45 bt40553:0(6501)X5392948 30.98/31.00 conflict 69lvl : 38 bt38-121:0(4154)X5396840 30.98/31.00 conflict 100lvl : 38 bt37-438:0(4181)X5396912 30.98/31.01 conflict 101lvl : 41 bt37-115:0(5406)X5397015 31.08/31.16 conflict 165lvl : 36 bt36439:0(4146)X5398441 31.08/31.16 conflict 135lvl : 40 bt40224:0(5401)X5398609 31.28/31.31 conflict 69lvl : 38 bt38-439:0(4154)X5400150 31.28/31.31 conflict 101lvl : 38 bt37-222:0(4181)X5400222 31.28/31.32 conflict 101lvl : 41 bt37-236:0(5406)X5400326 31.38/31.47 conflict 102lvl : 37 bt3779:0(4148)X5401752 31.38/31.47 conflict 100lvl : 37 bt36-78:0(4172)X5401857 31.38/31.48 conflict 101lvl : 45 bt40-56:0(6502)X5401960 31.78/31.84 conflict 100lvl : 37 bt36-402:0(4172)X5407619 31.78/31.85 conflict 69lvl : 45 bt40-229:0(6500)X5407722 31.98/32.00 conflict 103lvl : 37 bt37332:0(4149)X5409240 31.98/32.00 conflict 100lvl : 37 bt36-330:0(4172)X5409346 31.98/32.01 conflict 69lvl : 41 bt40-409:0(5401)X5409449 31.98/32.01 conflict 101lvl : 45 bt40337:0(6502)X5409521 32.28/32.38 conflict 101lvl : 37 bt37-187:0(4148)X5413261 32.28/32.38 conflict 132lvl : 37 bt36-798:0(4172)X5413365 32.28/32.38 conflict 102lvl : 40 bt40805:0(5398)X5413500 32.28/32.39 conflict 69lvl : 45 bt40-200:0(6500)X5413605 32.48/32.54 conflict 69lvl : 37 bt37-800:0(4151)X5415123 32.48/32.54 conflict 100lvl : 37 bt36-186:0(4175)X5415195 32.48/32.55 conflict 101lvl : 41 bt41188:0(5404)X5415298 32.48/32.55 conflict 101lvl : 41 bt40188:0(5431)X5415402 32.48/32.55 conflict 102lvl : 45 bt40-800:0(6505)X5415506 32.68/32.70 conflict 101lvl : 38 bt37-150:0(4151)X5417057 32.68/32.71 conflict 69lvl : 41 bt37-157:0(5403)X5417161 32.78/32.86 conflict 101lvl : 38 bt38-589:0(4151)X5418555 32.78/32.86 conflict 100lvl : 38 bt37-1266:0(4178)X5418659 32.78/32.86 conflict 101lvl : 41 bt37-1267:0(5403)X5418762 33.38/33.42 conflict 133lvl : 40 bt36-223:0(5423)X5424097 33.48/33.57 conflict 69lvl : 38 bt38-259:0(4151)X5425553 33.48/33.57 conflict 69lvl : 38 bt37-870:0(4178)X5425625 33.48/33.58 conflict 102lvl : 41 bt37-272:0(5403)X5425697 33.88/33.93 conflict 69lvl : 38 bt37-476:0(4151)X5430836 33.88/33.93 conflict 69lvl : 41 bt37-476:0(5404)X5430908 33.98/34.09 conflict 101lvl : 38 bt38-403:0(4151)X5432302 33.98/34.09 conflict 101lvl : 38 bt37-114:0(4178)X5432406 33.98/34.09 conflict 100lvl : 41 bt37-416:0(5403)X5432510 34.18/34.24 conflict 101lvl : 38 bt37-475:0(4151)X5433935 34.18/34.24 conflict 133lvl : 37 bt36-222:0(4172)X5434039 34.18/34.25 conflict 101lvl : 41 bt41-475:0(5401)X5434175 34.18/34.25 conflict 69lvl : 41 bt40-223:0(5428)X5434279 34.18/34.25 conflict 69lvl : 45 bt40-476:0(6500)X5434351 34.27/34.39 conflict 102lvl : 37 bt3749:0(4147)X5435869 34.27/34.39 conflict 100lvl : 37 bt36-42:0(4172)X5435974 34.37/34.40 conflict 133lvl : 45 bt40152:0(6501)X5436077 34.67/34.73 conflict 101lvl : 38 bt38-344:0(4154)X5441155 34.67/34.73 conflict 69lvl : 38 bt37-870:0(4181)X5441259 34.67/34.74 conflict 69lvl : 41 bt37-337:0(5406)X5441331 34.77/34.88 conflict 101lvl : 38 bt37-727:0(4151)X5442725 34.77/34.88 conflict 133lvl : 37 bt36-1194:0(4172)X5442829 34.77/34.89 conflict 136lvl : 40 bt401201:0(5399)X5442965 34.97/35.03 conflict 131lvl : 38 bt37-474:0(4151)X5444507 34.97/35.04 conflict 69lvl : 41 bt37-481:0(5403)X5444641 35.07/35.18 conflict 101lvl : 38 bt37-871:0(4151)X5446035 35.07/35.18 conflict 132lvl : 37 bt36-582:0(4172)X5446139 35.07/35.19 conflict 102lvl : 40 bt401196:0(5399)X5446274 35.07/35.19 conflict 101lvl : 45 bt40877:0(6501)X5446379 35.47/35.52 conflict 132lvl : 38 bt37-474:0(4154)X5451449 35.47/35.52 conflict 69lvl : 41 bt37-475:0(5406)X5451584 35.57/35.67 conflict 69lvl : 38 bt38-1051:0(4151)X5452978 35.57/35.67 conflict 101lvl : 38 bt37-870:0(4178)X5453050 35.57/35.68 conflict 69lvl : 41 bt37-1057:0(5403)X5453154 35.77/35.82 conflict 163lvl : 37 bt37-596:0(4147)X5454548 35.77/35.82 conflict 163lvl : 37 bt36-596:0(4172)X5454714 35.77/35.83 conflict 100lvl : 40 bt36-763:0(5423)X5454880 35.87/35.97 conflict 101lvl : 38 bt38-632:0(4151)X5456303 35.87/35.97 conflict 101lvl : 38 bt37-1158:0(4178)X5456407 35.87/35.98 conflict 69lvl : 41 bt37-619:0(5403)X5456511 36.07/36.12 conflict 101lvl : 37 bt37-583:0(4148)X5457905 36.07/36.12 conflict 133lvl : 37 bt36-726:0(4172)X5458009 36.07/36.13 conflict 136lvl : 40 bt40733:0(5399)X5458145 36.07/36.13 conflict 69lvl : 45 bt40-476:0(6500)X5458284 36.37/36.47 conflict 69lvl : 38 bt38-800:0(4151)X5461852 36.37/36.47 conflict 102lvl : 38 bt37-726:0(4178)X5461924 36.37/36.47 conflict 100lvl : 41 bt37-740:0(5403)X5462029 36.57/36.62 conflict 102lvl : 37 bt3779:0(4148)X5463454 36.57/36.62 conflict 100lvl : 37 bt36-78:0(4172)X5463559 36.57/36.63 conflict 69lvl : 45 bt40-20:0(6502)X5463662 36.67/36.77 conflict 132lvl : 38 bt37-656:0(4151)X5465180 36.67/36.77 conflict 165lvl : 37 bt36-582:0(4172)X5465315 36.67/36.78 conflict 102lvl : 40 bt4079:0(5400)X5465483 36.67/36.78 conflict 69lvl : 45 bt40-656:0(6503)X5465588 36.87/36.92 conflict 101lvl : 37 bt37-763:0(4148)X5467106 36.87/36.92 conflict 133lvl : 37 bt36-78:0(4172)X5467210 36.87/36.93 conflict 101lvl : 41 bt41-475:0(5401)X5467346 36.87/36.93 conflict 101lvl : 41 bt40-79:0(5428)X5467450 36.87/36.93 conflict 102lvl : 45 bt40-488:0(6500)X5467554 37.17/37.26 conflict 136lvl : 37 bt378:0(4151)X5472478 37.17/37.26 conflict 133lvl : 37 bt36-6:0(4175)X5472617 37.17/37.27 conflict 69lvl : 45 bt40-584:0(6504)X5472753 37.37/37.42 conflict 100lvl : 38 bt37-1086:0(4151)X5474271 37.37/37.42 conflict 69lvl : 41 bt37-1093:0(5403)X5474374 37.47/37.57 conflict 69lvl : 38 bt38-223:0(4151)X5475768 37.47/37.57 conflict 100lvl : 38 bt37-258:0(4178)X5475840 37.47/37.57 conflict 69lvl : 41 bt37-236:0(5403)X5475943 37.67/37.71 conflict 101lvl : 38 bt38-92:0(4151)X5477337 37.67/37.72 conflict 100lvl : 38 bt37-510:0(4178)X5477441 37.67/37.72 conflict 69lvl : 41 bt37-79:0(5403)X5477544 37.77/37.81 conflict 132lvl : 38 bt37-438:0(4151)X5477831 37.77/37.81 conflict 101lvl : 41 bt37-439:0(5403)X5477966 37.87/37.95 conflict 101lvl : 38 bt37-619:0(4151)X5479008 37.87/37.95 conflict 133lvl : 37 bt36-78:0(4172)X5479112 37.87/37.96 conflict 101lvl : 41 bt41-625:0(5401)X5479248 37.87/37.96 conflict 69lvl : 41 bt40-79:0(5428)X5479352 37.87/37.96 conflict 69lvl : 45 bt40-625:0(6501)X5479424 38.27/38.30 conflict 101lvl : 38 bt38-56:0(4154)X5482264 38.27/38.30 conflict 100lvl : 38 bt37-1158:0(4181)X5482368 38.27/38.31 conflict 69lvl : 41 bt37-43:0(5406)X5482471 38.37/38.46 conflict 101lvl : 38 bt37-943:0(4151)X5483865 38.37/38.46 conflict 132lvl : 37 bt36-906:0(4172)X5483969 38.37/38.46 conflict 69lvl : 41 bt40-943:0(5401)X5484104 38.37/38.47 conflict 69lvl : 45 bt40-949:0(6501)X5484176 38.57/38.61 conflict 102lvl : 37 bt371051:0(4148)X5485694 38.57/38.61 conflict 100lvl : 37 bt36-1050:0(4172)X5485799 38.57/38.62 conflict 69lvl : 45 bt40-476:0(6502)X5485902 38.66/38.76 conflict 101lvl : 38 bt38-1064:0(4151)X5487420 38.66/38.76 conflict 101lvl : 38 bt37-942:0(4178)X5487524 38.66/38.77 conflict 69lvl : 41 bt37-1052:0(5403)X5487628 38.86/38.91 conflict 101lvl : 38 bt38-1159:0(4151)X5489022 38.86/38.91 conflict 101lvl : 38 bt37-78:0(4178)X5489126 38.86/38.92 conflict 133lvl : 37 bt36-582:0(4172)X5489230 38.86/38.92 conflict 101lvl : 40 bt40-1159:0(5398)X5489366 38.86/38.92 conflict 69lvl : 45 bt40-589:0(6500)X5489470 39.16/39.23 conflict 169lvl : 38 bt38128:0(4154)X5491398 39.16/39.23 conflict 133lvl : 38 bt37-114:0(4181)X5491570 39.16/39.24 conflict 101lvl : 41 bt37-476:0(5406)X5491706 39.26/39.38 conflict 169lvl : 37 bt37548:0(4152)X5493132 39.26/39.38 conflict 132lvl : 37 bt36-546:0(4175)X5493304 39.26/39.39 conflict 69lvl : 40 bt40-1267:0(5401)X5493439 39.26/39.39 conflict 69lvl : 45 bt40-1268:0(6503)X5493511 39.46/39.53 conflict 136lvl : 37 bt371268:0(4151)X5495029 39.46/39.54 conflict 133lvl : 37 bt36-1266:0(4175)X5495168 39.46/39.54 conflict 69lvl : 41 bt40-548:0(5404)X5495304 39.46/39.54 conflict 69lvl : 45 bt40-548:0(6505)X5495376 39.57/39.69 conflict 136lvl : 37 bt371015:0(4148)X5496894 39.57/39.69 conflict 133lvl : 37 bt36-1014:0(4172)X5497033 39.76/39.84 conflict 101lvl : 38 bt37-906:0(4178)X5498572 39.76/39.84 conflict 69lvl : 41 bt37-907:0(5403)X5498676 39.86/39.99 conflict 69lvl : 38 bt38-1051:0(4151)X5500070 39.86/39.99 conflict 101lvl : 38 bt37-1014:0(4178)X5500142 39.86/39.99 conflict 69lvl : 41 bt37-1052:0(5403)X5500246 40.06/40.14 conflict 133lvl : 37 bt36-762:0(4172)X5501640 40.06/40.14 conflict 69lvl : 45 bt40-80:0(6502)X5501776 40.36/40.47 conflict 135lvl : 37 bt37691:0(4148)X5505971 40.36/40.47 conflict 133lvl : 37 bt36-690:0(4172)X5506109 40.36/40.47 conflict 136lvl : 40 bt40697:0(5399)X5506245 40.36/40.48 conflict 69lvl : 45 bt40-116:0(6501)X5506384 40.56/40.62 conflict 136lvl : 37 bt37691:0(4148)X5507902 40.56/40.62 conflict 133lvl : 37 bt36-690:0(4172)X5508041 40.56/40.63 conflict 101lvl : 41 bt40691:0(5401)X5508177 40.56/40.63 conflict 69lvl : 45 bt40-409:0(6502)X5508281 40.67/40.77 conflict 101lvl : 37 bt37-726:0(4149)X5509799 40.67/40.78 conflict 69lvl : 41 bt37-620:0(5402)X5509903 40.86/40.92 conflict 101lvl : 38 bt37-439:0(4151)X5511297 40.86/40.92 conflict 133lvl : 37 bt36-78:0(4172)X5511401 40.86/40.93 conflict 136lvl : 40 bt40956:0(5399)X5511537 40.86/40.93 conflict 69lvl : 45 bt40-92:0(6501)X5511676 40.96/41.07 conflict 69lvl : 38 bt38-224:0(4151)X5513194 40.96/41.07 conflict 100lvl : 38 bt37-942:0(4178)X5513266 40.96/41.08 conflict 101lvl : 41 bt37-223:0(5403)X5513369 41.36/41.41 conflict 136lvl : 37 bt37121:0(4149)X5518531 41.36/41.41 conflict 133lvl : 37 bt36-114:0(4172)X5518670 41.36/41.42 conflict 69lvl : 45 bt40-92:0(6500)X5518806 41.46/41.56 conflict 101lvl : 38 bt38-656:0(4151)X5520324 41.46/41.56 conflict 100lvl : 38 bt37-114:0(4178)X5520428 41.46/41.57 conflict 101lvl : 41 bt37-655:0(5403)X5520531 41.66/41.71 conflict 101lvl : 38 bt37-619:0(4151)X5521957 41.66/41.71 conflict 133lvl : 37 bt36-78:0(4172)X5522061 41.66/41.72 conflict 136lvl : 40 bt40944:0(5399)X5522197 41.66/41.72 conflict 100lvl : 40 bt36-943:0(5423)X5522336 41.77/41.87 conflict 137lvl : 41 bt3780:0(5278)X5523759 42.16/42.21 conflict 100lvl : 38 bt37-920:0(4154)X5527190 42.16/42.21 conflict 133lvl : 37 bt36-1194:0(4175)X5527293 42.16/42.22 conflict 136lvl : 40 bt401201:0(5402)X5527429 42.26/42.36 conflict 100lvl : 38 bt37-1158:0(4151)X5528971 42.26/42.37 conflict 69lvl : 41 bt37-1159:0(5403)X5529074 42.46/42.51 conflict 131lvl : 38 bt38-380:0(4151)X5530468 42.46/42.51 conflict 69lvl : 38 bt37-1158:0(4178)X5530602 42.46/42.52 conflict 69lvl : 41 bt37-368:0(5403)X5530674 42.56/42.66 conflict 101lvl : 38 bt38-330:0(4151)X5532068 42.56/42.66 conflict 101lvl : 38 bt37-366:0(4178)X5532172 42.56/42.67 conflict 69lvl : 41 bt37-367:0(5402)X5532276 42.66/42.73 conflict 69lvl : 38 bt38-769:0(4151)X5532478 42.66/42.74 conflict 131lvl : 38 bt37-366:0(4178)X5532550 42.66/42.74 conflict 101lvl : 41 bt37-367:0(5403)X5532684 42.76/42.88 conflict 101lvl : 38 bt37-1280:0(4151)X5533913 42.76/42.88 conflict 133lvl : 37 bt36-1086:0(4172)X5534017 42.76/42.89 conflict 136lvl : 40 bt401093:0(5399)X5534153 42.76/42.89 conflict 69lvl : 45 bt40-368:0(6502)X5534292 43.16/43.24 conflict 69lvl : 38 bt37-439:0(4151)X5539276 43.16/43.24 conflict 69lvl : 41 bt37-439:0(5404)X5539348 43.46/43.59 conflict 101lvl : 38 bt37-1123:0(4154)X5544867 43.56/43.60 conflict 132lvl : 37 bt36-330:0(4175)X5544971 43.56/43.60 conflict 69lvl : 41 bt41-1124:0(5404)X5545106 43.56/43.60 conflict 69lvl : 41 bt40-331:0(5431)X5545178 43.56/43.61 conflict 69lvl : 45 bt40-1124:0(6504)X5545250 43.66/43.76 conflict 136lvl : 37 bt371124:0(4151)X5546768 43.66/43.76 conflict 133lvl : 37 bt36-1122:0(4175)X5546907 43.66/43.77 conflict 69lvl : 45 bt40-80:0(6505)X5547043 43.86/43.91 conflict 167lvl : 37 bt37367:0(4149)X5548561 43.86/43.91 conflict 166lvl : 37 bt36-366:0(4172)X5548731 43.86/43.92 conflict 136lvl : 40 bt40368:0(5400)X5548900 43.86/43.92 conflict 69lvl : 45 bt40-764:0(6502)X5549039 43.97/44.07 conflict 69lvl : 41 bt37-366:0(5276)X5550557 44.16/44.21 conflict 133lvl : 37 bt36-762:0(4172)X5551911 44.16/44.22 conflict 100lvl : 40 bt36-763:0(5423)X5552047 44.26/44.36 conflict 101lvl : 38 bt37-763:0(4151)X5553470 44.26/44.36 conflict 133lvl : 37 bt36-1266:0(4172)X5553574 44.26/44.37 conflict 136lvl : 40 bt40949:0(5399)X5553710 44.26/44.37 conflict 101lvl : 45 bt40764:0(6501)X5553849 44.66/44.72 conflict 101lvl : 38 bt37-668:0(4154)X5559885 44.66/44.72 conflict 133lvl : 37 bt36-1194:0(4175)X5559989 44.66/44.73 conflict 136lvl : 40 bt401201:0(5402)X5560125 44.66/44.73 conflict 69lvl : 45 bt40-668:0(6505)X5560264 44.76/44.88 conflict 133lvl : 38 bt36-222:0(4151)X5561782 44.76/44.89 conflict 69lvl : 41 bt40-224:0(5401)X5561918 44.76/44.89 conflict 69lvl : 45 bt40-224:0(6502)X5561990 44.96/45.03 conflict 135lvl : 37 bt37224:0(4148)X5563508 44.96/45.03 conflict 132lvl : 37 bt36-222:0(4172)X5563646 44.96/45.04 conflict 69lvl : 41 bt40-368:0(5401)X5563781 44.96/45.04 conflict 69lvl : 45 bt40-224:0(6502)X5563853 45.07/45.19 conflict 69lvl : 38 bt38-116:0(4151)X5565371 45.07/45.19 conflict 100lvl : 38 bt37-330:0(4178)X5565443 45.07/45.19 conflict 101lvl : 41 bt37-331:0(5403)X5565546 45.26/45.33 conflict 100lvl : 37 bt37-330:0(4149)X5566972 45.26/45.34 conflict 101lvl : 41 bt37-331:0(5402)X5567075 45.56/45.68 conflict 101lvl : 37 bt37-943:0(4149)X5572410 45.56/45.69 conflict 133lvl : 37 bt36-366:0(4172)X5572514 45.56/45.69 conflict 136lvl : 40 bt40368:0(5399)X5572650 45.56/45.69 conflict 69lvl : 45 bt40-949:0(6500)X5572789 45.76/45.85 conflict 133lvl : 37 bt36-942:0(4172)X5574307 45.76/45.85 conflict 100lvl : 40 bt36-943:0(5423)X5574443 45.96/46.00 conflict 133lvl : 38 bt38-330:0(4151)X5575866 45.96/46.00 conflict 132lvl : 38 bt37-942:0(4178)X5576002 45.96/46.00 conflict 68lvl : 41 bt37-337:0(5402)X5576137 46.27/46.36 conflict 69lvl : 38 bt37-1122:0(4154)X5579838 46.27/46.36 conflict 69lvl : 41 bt37-1129:0(5406)X5579910 46.46/46.51 conflict 101lvl : 38 bt37-1015:0(4151)X5581304 46.46/46.51 conflict 132lvl : 37 bt36-366:0(4172)X5581408 46.46/46.52 conflict 69lvl : 41 bt40-1021:0(5401)X5581543 46.46/46.52 conflict 69lvl : 45 bt40-1021:0(6502)X5581615 46.56/46.66 conflict 69lvl : 38 bt38-620:0(4151)X5583133 46.56/46.67 conflict 101lvl : 38 bt37-1266:0(4178)X5583205 46.56/46.67 conflict 101lvl : 41 bt37-1267:0(5403)X5583309 46.76/46.81 conflict 169lvl : 37 bt37337:0(4149)X5584735 46.76/46.81 conflict 100lvl : 37 bt36-330:0(4172)X5584907 46.76/46.82 conflict 130lvl : 41 bt41-1280:0(5401)X5585010 46.76/46.82 conflict 102lvl : 41 bt40-331:0(5428)X5585143 46.76/46.83 conflict 69lvl : 45 bt40-1273:0(6501)X5585248 46.86/46.97 conflict 136lvl : 37 bt371268:0(4148)X5586766 46.86/46.97 conflict 133lvl : 37 bt36-1266:0(4172)X5586905 46.86/46.97 conflict 69lvl : 40 bt40-1268:0(5399)X5587041 46.86/46.97 conflict 100lvl : 40 bt36-943:0(5423)X5587113 47.06/47.12 conflict 133lvl : 38 bt37-726:0(4178)X5588536 47.06/47.13 conflict 69lvl : 41 bt37-728:0(5403)X5588672 47.36/47.48 conflict 170lvl : 37 bt37331:0(4149)X5594496 47.36/47.48 conflict 69lvl : 41 bt37-728:0(5403)X5594669 47.56/47.63 conflict 101lvl : 37 bt37-344:0(4147)X5596063 47.56/47.63 conflict 133lvl : 37 bt36-1266:0(4172)X5596167 47.56/47.64 conflict 135lvl : 40 bt401268:0(5399)X5596303 47.56/47.64 conflict 133lvl : 40 bt36-1267:0(5423)X5596441 47.86/47.99 conflict 170lvl : 37 bt371267:0(4149)X5602013 47.86/47.99 conflict 100lvl : 37 bt36-1266:0(4172)X5602186 47.86/48.00 conflict 102lvl : 40 bt401273:0(5399)X5602289 47.96/48.00 conflict 69lvl : 45 bt40-1160:0(6502)X5602394 48.06/48.15 conflict 133lvl : 37 bt36-1158:0(4172)X5603912 48.06/48.15 conflict 69lvl : 41 bt40-1268:0(5401)X5604048 48.06/48.16 conflict 69lvl : 45 bt40-1268:0(6502)X5604120 48.26/48.30 conflict 69lvl : 38 bt38-332:0(4151)X5605638 48.26/48.30 conflict 101lvl : 38 bt37-618:0(4178)X5605710 48.26/48.31 conflict 137lvl : 41 bt37331:0(5403)X5605814 48.26/48.37 conflict 133lvl : 37 bt37-114:0(4149)X5606084 48.26/48.38 conflict 101lvl : 41 bt37-115:0(5402)X5606220 48.46/48.52 conflict 101lvl : 37 bt37-115:0(4148)X5607449 48.46/48.52 conflict 133lvl : 37 bt36-690:0(4172)X5607553 48.46/48.52 conflict 69lvl : 41 bt41-115:0(5401)X5607689 48.46/48.53 conflict 101lvl : 41 bt40-691:0(5428)X5607761 48.46/48.53 conflict 69lvl : 45 bt40-116:0(6500)X5607865 48.76/48.88 conflict 136lvl : 37 bt37620:0(4148)X5613504 48.76/48.88 conflict 133lvl : 37 bt36-618:0(4172)X5613643 48.76/48.89 conflict 69lvl : 45 bt40-944:0(6501)X5613779 48.96/49.03 conflict 136lvl : 37 bt37944:0(4148)X5615297 48.96/49.04 conflict 133lvl : 37 bt36-942:0(4172)X5615436 48.96/49.05 conflict 101lvl : 45 bt40620:0(6501)X5615572 49.06/49.19 conflict 169lvl : 37 bt371268:0(4148)X5617122 49.06/49.19 conflict 166lvl : 37 bt36-1266:0(4172)X5617294 49.06/49.19 conflict 102lvl : 40 bt40337:0(5399)X5617463 49.16/49.20 conflict 69lvl : 45 bt40-944:0(6502)X5617568 49.46/49.54 conflict 100lvl : 37 bt37-42:0(4149)X5622674 49.46/49.55 conflict 69lvl : 41 bt37-44:0(5402)X5622777 49.66/49.70 conflict 100lvl : 38 bt37-42:0(4178)X5624171 49.66/49.70 conflict 101lvl : 41 bt37-43:0(5403)X5624274 49.76/49.84 conflict 133lvl : 37 bt37-42:0(4149)X5625700 49.76/49.85 conflict 101lvl : 41 bt37-43:0(5402)X5625836 50.06/50.19 conflict 100lvl : 37 bt37-366:0(4149)X5631349 50.16/50.20 conflict 69lvl : 41 bt37-116:0(5402)X5631452 50.26/50.35 conflict 100lvl : 38 bt37-618:0(4178)X5632846 50.26/50.35 conflict 99lvl : 41 bt37-128:0(5403)X5632949 50.36/50.49 conflict 101lvl : 37 bt37-1267:0(4148)X5634373 50.46/50.50 conflict 133lvl : 37 bt36-330:0(4172)X5634477 50.46/50.50 conflict 136lvl : 40 bt401268:0(5399)X5634613 50.46/50.51 conflict 69lvl : 45 bt40-337:0(6501)X5634752 50.56/50.65 conflict 136lvl : 40 bt40956:0(5399)X5636270 50.86/50.98 conflict 168lvl : 37 bt37625:0(4147)X5640712 50.86/50.98 conflict 133lvl : 37 bt36-618:0(4172)X5640883 50.86/50.99 conflict 100lvl : 40 bt36-619:0(5423)X5641019 51.06/51.13 conflict 136lvl : 37 bt371267:0(4149)X5642442 51.06/51.14 conflict 101lvl : 37 bt37-331:0(5094)X5642581 51.06/51.14 conflict 166lvl : 41 bt37330:0(5277)X5642685 51.16/51.28 conflict 100lvl : 37 bt36-618:0(4144)X5644216 51.16/51.29 conflict 69lvl : 40 bt40-620:0(5397)X5644319 51.16/51.29 conflict 100lvl : 40 bt36-943:0(5422)X5644391 51.36/51.43 conflict 169lvl : 37 bt371267:0(4149)X5645814 51.36/51.44 conflict 100lvl : 41 bt37-200:0(5403)X5645986 51.46/51.58 conflict 100lvl : 37 bt36-186:0(4172)X5647411 51.46/51.59 conflict 101lvl : 41 bt41-187:0(5401)X5647514 51.46/51.59 conflict 101lvl : 41 bt40-943:0(5428)X5647618 51.46/51.59 conflict 101lvl : 45 bt40-200:0(6500)X5647722 51.86/51.94 conflict 133lvl : 38 bt37-186:0(4151)X5653416 51.86/51.94 conflict 100lvl : 41 bt37-200:0(5403)X5653552 52.26/52.30 conflict 100lvl : 37 bt36-380:0(4148)X5659010 52.26/52.30 conflict 101lvl : 40 bt40-200:0(5398)X5659113 52.26/52.30 conflict 133lvl : 40 bt36-223:0(5424)X5659217 52.36/52.46 conflict 133lvl : 38 bt37-222:0(4178)X5660673 52.36/52.46 conflict 69lvl : 41 bt37-620:0(5403)X5660809 52.56/52.60 conflict 101lvl : 37 bt37-367:0(4148)X5662203 52.56/52.60 conflict 131lvl : 37 bt36-330:0(4172)X5662307 52.56/52.61 conflict 134lvl : 40 bt40337:0(5399)X5662441 52.56/52.61 conflict 69lvl : 45 bt40-368:0(6500)X5662578 52.86/52.96 conflict 100lvl : 37 bt36-6:0(4172)X5667944 52.86/52.96 conflict 101lvl : 41 bt41-7:0(5401)X5668047 52.86/52.96 conflict 101lvl : 41 bt40-223:0(5428)X5668151 52.86/52.97 conflict 102lvl : 45 bt40-20:0(6500)X5668255 53.06/53.12 conflict 169lvl : 37 bt377:0(4147)X5669806 53.06/53.12 conflict 133lvl : 37 bt36-6:0(4172)X5669978 53.06/53.12 conflict 100lvl : 40 bt36-7:0(5423)X5670114 53.55/53.65 conflict 133lvl : 37 bt36-618:0(4172)X5676734 53.55/53.66 conflict 136lvl : 40 bt40632:0(5399)X5676870 53.55/53.66 conflict 69lvl : 45 bt40-236:0(6500)X5677009 53.75/53.81 conflict 166lvl : 37 bt36-223:0(4172)X5678527 53.75/53.81 conflict 133lvl : 40 bt36-223:0(5423)X5678696 54.05/54.17 conflict 101lvl : 38 bt37-776:0(4151)X5684235 54.05/54.17 conflict 101lvl : 41 bt37-776:0(5404)X5684339 54.45/54.52 conflict 168lvl : 37 bt37373:0(4148)X5689850 54.45/54.53 conflict 165lvl : 37 bt36-366:0(4172)X5690021 54.45/54.53 conflict 69lvl : 40 bt40-331:0(5398)X5690189 54.45/54.53 conflict 69lvl : 45 bt40-344:0(6501)X5690261 54.55/54.62 conflict 132lvl : 37 bt37-380:0(4146)X5690603 54.55/54.63 conflict 133lvl : 37 bt36-330:0(4172)X5690738 54.55/54.63 conflict 100lvl : 40 bt36-331:0(5423)X5690874 54.65/54.77 conflict 69lvl : 37 bt37-625:0(4146)X5691913 54.65/54.78 conflict 102lvl : 37 bt36-1266:0(4172)X5691985 54.65/54.78 conflict 101lvl : 40 bt40-619:0(5398)X5692090 54.65/54.78 conflict 99lvl : 45 bt40-632:0(6501)X5692194 54.85/54.93 conflict 101lvl : 37 bt37-1266:0(4146)X5693742 54.85/54.93 conflict 134lvl : 37 bt36-618:0(4172)X5693846 54.85/54.94 conflict 69lvl : 45 bt40-1273:0(6534)X5693983 55.15/55.29 conflict 100lvl : 38 bt37-762:0(4178)X5699584 55.15/55.29 conflict 101lvl : 41 bt37-763:0(5430)X5699687 55.35/55.44 conflict 131lvl : 37 bt36-6:0(4172)X5701113 55.35/55.45 conflict 69lvl : 45 bt37-236:0(6499)X5701247 55.65/55.79 conflict 133lvl : 37 bt36-1158:0(4172)X5706648 55.75/55.80 conflict 136lvl : 40 bt401165:0(5398)X5706784 55.75/55.80 conflict 100lvl : 40 bt36-1159:0(5423)X5706923 55.85/55.95 conflict 101lvl : 37 bt37-1160:0(4147)X5708346 55.85/55.95 conflict 133lvl : 37 bt36-618:0(4172)X5708450 55.85/55.96 conflict 135lvl : 40 bt40625:0(5398)X5708586 55.85/55.96 conflict 133lvl : 40 bt36-619:0(5422)X5708724 56.06/56.10 conflict 167lvl : 37 bt371165:0(4147)X5710180 56.06/56.11 conflict 165lvl : 37 bt36-1158:0(4172)X5710350 56.06/56.11 conflict 136lvl : 40 bt40224:0(5400)X5710518 56.06/56.12 conflict 69lvl : 45 bt40-1165:0(6501)X5710657 56.16/56.26 conflict 133lvl : 37 bt36-1158:0(4172)X5712175 56.16/56.26 conflict 101lvl : 41 bt40-223:0(5428)X5712311 56.16/56.27 conflict 69lvl : 45 bt40-224:0(6501)X5712415 56.35/56.41 conflict 133lvl : 37 bt36-366:0(4172)X5713933 56.35/56.42 conflict 100lvl : 40 bt36-367:0(5423)X5714069 56.65/56.75 conflict 168lvl : 37 bt371160:0(4147)X5718760 56.65/56.75 conflict 133lvl : 37 bt36-1158:0(4172)X5718931 56.65/56.76 conflict 100lvl : 40 bt36-1159:0(5422)X5719067 56.85/56.90 conflict 102lvl : 37 bt371273:0(4147)X5720490 56.85/56.90 conflict 100lvl : 37 bt36-1266:0(4172)X5720595 56.85/56.91 conflict 100lvl : 40 bt36-223:0(5423)X5720698 57.16/57.25 conflict 133lvl : 37 bt36-726:0(4172)X5724782 57.16/57.26 conflict 100lvl : 40 bt36-727:0(5423)X5724918 57.35/57.41 conflict 132lvl : 37 bt36-726:0(4172)X5726341 57.35/57.42 conflict 136lvl : 40 bt401160:0(5399)X5726476 57.35/57.42 conflict 101lvl : 45 bt401268:0(6501)X5726615 57.45/57.56 conflict 100lvl : 37 bt36-726:0(4172)X5728165 57.45/57.57 conflict 102lvl : 40 bt40733:0(5398)X5728268 57.45/57.57 conflict 100lvl : 40 bt36-727:0(5423)X5728373 57.65/57.72 conflict 133lvl : 37 bt36-726:0(4172)X5729796 57.65/57.72 conflict 135lvl : 40 bt40229:0(5399)X5729932 57.65/57.72 conflict 69lvl : 45 bt40-728:0(6501)X5730070 57.75/57.87 conflict 133lvl : 37 bt36-726:0(4172)X5731588 57.75/57.87 conflict 69lvl : 41 bt40-224:0(5401)X5731724 57.75/57.88 conflict 69lvl : 45 bt40-224:0(6502)X5731796 58.15/58.22 conflict 133lvl : 37 bt36-6:0(4172)X5737226 58.15/58.23 conflict 101lvl : 40 bt40-7:0(5399)X5737362 58.15/58.23 conflict 69lvl : 45 bt40-380:0(6500)X5737466 58.26/58.38 conflict 132lvl : 37 bt36-1266:0(4147)X5738984 58.26/58.39 conflict 69lvl : 45 bt40-1273:0(6500)X5739119 58.45/58.53 conflict 100lvl : 37 bt36-366:0(4172)X5740637 58.45/58.54 conflict 100lvl : 40 bt36-223:0(5422)X5740740 58.95/59.04 conflict 167lvl : 37 bt37733:0(4147)X5745367 58.95/59.04 conflict 165lvl : 37 bt36-726:0(4172)X5745537 58.95/59.04 conflict 134lvl : 40 bt40728:0(5400)X5745705 58.95/59.05 conflict 69lvl : 45 bt40-128:0(6501)X5745842 59.05/59.19 conflict 132lvl : 37 bt36-114:0(4172)X5747360 59.15/59.20 conflict 101lvl : 41 bt40-115:0(5428)X5747495 59.15/59.20 conflict 102lvl : 45 bt40-116:0(6501)X5747599 59.25/59.35 conflict 100lvl : 37 bt36-114:0(4172)X5749150 59.25/59.35 conflict 100lvl : 40 bt36-115:0(5423)X5749253 59.36/59.50 conflict 69lvl : 37 bt37-625:0(4148)X5750676 59.36/59.50 conflict 133lvl : 37 bt36-114:0(4172)X5750748 59.46/59.51 conflict 100lvl : 40 bt36-115:0(5423)X5750884 59.75/59.85 conflict 100lvl : 37 bt37-690:0(4149)X5756409 59.75/59.86 conflict 100lvl : 41 bt37-704:0(5402)X5756512 59.95/60.01 conflict 131lvl : 38 bt36-690:0(4150)X5757937 59.95/60.01 conflict 102lvl : 41 bt41-620:0(5401)X5758071 59.95/60.02 conflict 101lvl : 41 bt40-691:0(5428)X5758176 59.95/60.02 conflict 69lvl : 45 bt40-692:0(6501)X5758280 60.05/60.16 conflict 169lvl : 37 bt37697:0(4147)X5759798 60.05/60.16 conflict 133lvl : 37 bt36-690:0(4172)X5759970 60.05/60.17 conflict 69lvl : 41 bt41-368:0(5401)X5760106 60.05/60.17 conflict 101lvl : 41 bt40-691:0(5428)X5760178 60.05/60.17 conflict 69lvl : 45 bt40-373:0(6501)X5760282 60.25/60.32 conflict 134lvl : 37 bt36-115:0(4172)X5761800 60.25/60.32 conflict 100lvl : 40 bt36-115:0(5423)X5761937 60.35/60.47 conflict 103lvl : 40 bt401159:0(5399)X5763360 60.75/60.82 conflict 131lvl : 38 bt37-1086:0(4151)X5767023 60.75/60.82 conflict 69lvl : 41 bt37-1088:0(5403)X5767157 60.85/60.97 conflict 101lvl : 37 bt37-366:0(4149)X5768551 60.85/60.98 conflict 100lvl : 41 bt37-1087:0(5429)X5768655 61.05/61.12 conflict 131lvl : 38 bt37-1086:0(4178)X5770080 61.05/61.13 conflict 101lvl : 41 bt37-1087:0(5403)X5770214 61.35/61.45 conflict 132lvl : 38 bt37-294:0(4151)X5771946 61.35/61.45 conflict 100lvl : 41 bt37-308:0(5403)X5772081 61.75/61.80 conflict 133lvl : 37 bt36-366:0(4172)X5777426 61.75/61.81 conflict 100lvl : 40 bt36-619:0(5423)X5777562 61.85/61.96 conflict 166lvl : 37 bt37367:0(4149)X5778985 61.85/61.96 conflict 133lvl : 37 bt36-366:0(4172)X5779154 61.85/61.97 conflict 136lvl : 40 bt40380:0(5399)X5779290 61.85/61.97 conflict 69lvl : 45 bt40-625:0(6501)X5779429 62.05/62.11 conflict 131lvl : 37 bt36-726:0(4172)X5780947 62.05/62.12 conflict 133lvl : 40 bt36-727:0(5423)X5781081 62.15/62.27 conflict 132lvl : 37 bt36-1086:0(4172)X5782537 62.15/62.27 conflict 103lvl : 40 bt401087:0(5399)X5782672 62.15/62.27 conflict 69lvl : 45 bt40-728:0(6501)X5782778 62.35/62.41 conflict 69lvl : 38 bt38-404:0(4151)X5784296 62.35/62.42 conflict 133lvl : 38 bt36-1086:0(4178)X5784368 62.35/62.42 conflict 69lvl : 41 bt41-403:0(5401)X5784504 62.35/62.42 conflict 101lvl : 41 bt40-1087:0(5428)X5784576 62.45/62.57 conflict 168lvl : 37 bt371093:0(4147)X5786083 62.45/62.57 conflict 133lvl : 37 bt36-1086:0(4172)X5786254 62.45/62.57 conflict 100lvl : 40 bt36-1087:0(5423)X5786390 62.85/62.92 conflict 133lvl : 37 bt36-402:0(4172)X5791340 62.85/62.92 conflict 101lvl : 40 bt40-128:0(5399)X5791476 62.85/62.92 conflict 69lvl : 45 bt40-416:0(6502)X5791580 62.95/63.07 conflict 69lvl : 40 bt40-620:0(5397)X5793098 63.15/63.22 conflict 131lvl : 38 bt37-402:0(4178)X5794534 63.15/63.22 conflict 101lvl : 38 bt37-403:0(5434)X5794668 63.15/63.22 conflict 101lvl : 41 bt37-6:0(5277)X5794772 63.25/63.37 conflict 133lvl : 37 bt36-726:0(4172)X5796238 63.25/63.37 conflict 101lvl : 41 bt40-7:0(5401)X5796374 63.25/63.38 conflict 102lvl : 45 bt40-20:0(6501)X5796478 63.65/63.73 conflict 136lvl : 40 bt40121:0(5397)X5802472 63.75/63.88 conflict 131lvl : 37 bt36-618:0(4172)X5803975 63.75/63.88 conflict 101lvl : 40 bt40-619:0(5399)X5804109 63.75/63.89 conflict 69lvl : 45 bt40-116:0(6500)X5804213 63.95/64.03 conflict 131lvl : 38 bt36-1014:0(4178)X5805731 63.95/64.04 conflict 101lvl : 41 bt41-7:0(5401)X5805865 63.95/64.04 conflict 101lvl : 41 bt40-1015:0(5428)X5805969 63.95/64.04 conflict 69lvl : 45 bt40-8:0(6500)X5806073 64.05/64.18 conflict 136lvl : 37 bt378:0(4148)X5807591 64.05/64.19 conflict 133lvl : 37 bt36-6:0(4172)X5807730 64.05/64.19 conflict 100lvl : 40 bt36-43:0(5423)X5807866 64.25/64.34 conflict 136lvl : 37 bt3756:0(4148)X5809289 64.25/64.34 conflict 133lvl : 37 bt36-42:0(4172)X5809428 64.25/64.34 conflict 136lvl : 40 bt4044:0(5399)X5809564 64.25/64.35 conflict 69lvl : 45 bt40-13:0(6501)X5809703 64.35/64.49 conflict 133lvl : 37 bt36-1086:0(4172)X5811221 64.35/64.49 conflict 136lvl : 40 bt401100:0(5399)X5811357 64.45/64.50 conflict 69lvl : 45 bt40-8:0(6501)X5811496 64.75/64.84 conflict 136lvl : 37 bt37373:0(4148)X5815064 64.75/64.84 conflict 133lvl : 37 bt36-366:0(4172)X5815203 64.75/64.85 conflict 69lvl : 45 bt40-56:0(6501)X5815339 64.85/65.00 conflict 135lvl : 37 bt3744:0(4148)X5816857 64.85/65.00 conflict 132lvl : 37 bt36-42:0(4172)X5816995 64.95/65.01 conflict 69lvl : 45 bt40-116:0(6501)X5817130 65.05/65.15 conflict 133lvl : 37 bt37-56:0(4146)X5818648 65.05/65.15 conflict 133lvl : 37 bt36-114:0(4172)X5818784 65.05/65.16 conflict 100lvl : 40 bt36-115:0(5396)X5818920 65.45/65.51 conflict 133lvl : 37 bt36-42:0(4172)X5824616 65.45/65.52 conflict 100lvl : 40 bt36-43:0(5423)X5824752 65.55/65.67 conflict 133lvl : 37 bt36-726:0(4172)X5826175 65.55/65.67 conflict 102lvl : 40 bt40728:0(5398)X5826311 65.55/65.68 conflict 100lvl : 40 bt36-727:0(5423)X5826416 65.75/65.82 conflict 170lvl : 37 bt3743:0(4149)X5827839 65.75/65.82 conflict 133lvl : 37 bt36-42:0(4172)X5828012 65.75/65.82 conflict 136lvl : 40 bt4049:0(5399)X5828148 65.75/65.83 conflict 69lvl : 45 bt40-121:0(6501)X5828287 65.85/65.97 conflict 133lvl : 37 bt36-366:0(4172)X5829805 65.85/65.98 conflict 137lvl : 45 bt4044:0(6499)X5829941 66.25/66.33 conflict 133lvl : 38 bt37-762:0(4178)X5835638 66.25/66.33 conflict 101lvl : 41 bt37-769:0(5403)X5835774 66.35/66.48 conflict 136lvl : 40 bt40632:0(5398)X5837200 66.55/66.62 conflict 133lvl : 37 bt37-762:0(4149)X5838703 66.55/66.63 conflict 100lvl : 41 bt37-763:0(5402)X5838839 66.85/66.98 conflict 101lvl : 37 bt36-366:0(4144)X5844542 66.85/66.98 conflict 100lvl : 40 bt36-619:0(5396)X5844646 67.05/67.13 conflict 168lvl : 37 bt37368:0(4147)X5846069 67.05/67.14 conflict 100lvl : 37 bt36-367:0(4172)X5846240 67.05/67.14 conflict 102lvl : 45 bt4056:0(6535)X5846343 67.15/67.29 conflict 131lvl : 37 bt36-222:0(4172)X5847894 67.15/67.29 conflict 100lvl : 40 bt36-223:0(5423)X5848028 67.35/67.44 conflict 169lvl : 37 bt37619:0(4149)X5849451 67.35/67.44 conflict 133lvl : 37 bt36-618:0(4172)X5849623 67.35/67.44 conflict 134lvl : 40 bt40121:0(5399)X5849759 67.35/67.45 conflict 100lvl : 40 bt36-115:0(5423)X5849896 67.45/67.59 conflict 132lvl : 37 bt36-618:0(4172)X5851319 67.55/67.60 conflict 100lvl : 40 bt36-763:0(5423)X5851454 67.65/67.74 conflict 133lvl : 36 bt36-222:0(4143)X5852877 67.65/67.74 conflict 69lvl : 40 bt40-224:0(5396)X5853013 67.65/67.75 conflict 100lvl : 40 bt36-7:0(5421)X5853085 67.95/68.10 conflict 101lvl : 41 bt41-7:0(5311)X5858655 68.15/68.24 conflict 167lvl : 37 bt37229:0(4146)X5860124 68.15/68.24 conflict 166lvl : 37 bt36-222:0(4172)X5860294 68.15/68.25 conflict 100lvl : 40 bt36-223:0(5424)X5860463 68.55/68.61 conflict 100lvl : 37 bt36-1086:0(4172)X5866218 68.55/68.61 conflict 100lvl : 41 bt40-1100:0(5401)X5866321 68.55/68.61 conflict 69lvl : 45 bt40-1100:0(6502)X5866424 68.65/68.76 conflict 100lvl : 37 bt36-1087:0(4172)X5867942 68.65/68.77 conflict 69lvl : 45 bt40-373:0(6533)X5868045 68.75/68.84 conflict 101lvl : 37 bt37-236:0(4148)X5868297 68.75/68.84 conflict 133lvl : 37 bt36-6:0(4172)X5868401 68.75/68.85 conflict 102lvl : 40 bt40229:0(5399)X5868537 68.75/68.85 conflict 69lvl : 45 bt40-1088:0(6502)X5868642 68.85/68.99 conflict 100lvl : 37 bt36-1086:0(4172)X5869952 68.85/69.00 conflict 136lvl : 40 bt40733:0(5399)X5870055 68.95/69.00 conflict 69lvl : 45 bt40-1088:0(6502)X5870194 69.05/69.14 conflict 136lvl : 37 bt371088:0(4148)X5871712 69.05/69.15 conflict 133lvl : 37 bt36-1086:0(4172)X5871851 69.05/69.15 conflict 136lvl : 40 bt40776:0(5399)X5871987 69.05/69.15 conflict 69lvl : 45 bt40-1088:0(6501)X5872126 69.35/69.49 conflict 131lvl : 38 bt37-510:0(4151)X5877391 69.45/69.50 conflict 100lvl : 41 bt37-511:0(5403)X5877525 69.55/69.65 conflict 131lvl : 37 bt36-510:0(4172)X5878950 69.55/69.65 conflict 69lvl : 41 bt41-512:0(5401)X5879084 69.55/69.66 conflict 69lvl : 41 bt40-619:0(5428)X5879156 69.55/69.66 conflict 69lvl : 45 bt40-625:0(6501)X5879228 69.75/69.80 conflict 133lvl : 37 bt36-618:0(4172)X5880746 69.75/69.81 conflict 102lvl : 40 bt40-368:0(5397)X5880882 69.75/69.81 conflict 133lvl : 40 bt36-43:0(5423)X5880987 69.85/69.95 conflict 168lvl : 37 bt37625:0(4147)X5882443 69.85/69.96 conflict 132lvl : 37 bt36-618:0(4172)X5882614 69.85/69.97 conflict 136lvl : 45 bt40625:0(6535)X5882749 70.05/70.11 conflict 133lvl : 37 bt36-762:0(4172)X5884334 70.05/70.11 conflict 100lvl : 40 bt36-7:0(5423)X5884470 70.35/70.46 conflict 135lvl : 40 bt40373:0(5396)X5889227 70.54/70.61 conflict 129lvl : 36 bt35-1014:0(4166)X5890729 70.54/70.62 conflict 102lvl : 40 bt401021:0(5396)X5890861 70.54/70.62 conflict 69lvl : 45 bt40-56:0(6499)X5890966 70.84/70.97 conflict 101lvl : 37 bt37-1028:0(4148)X5896377 70.84/70.97 conflict 133lvl : 37 bt36-294:0(4172)X5896481 70.84/70.97 conflict 136lvl : 40 bt40296:0(5399)X5896617 70.84/70.98 conflict 69lvl : 45 bt40-740:0(6502)X5896756 71.04/71.12 conflict 100lvl : 38 bt37-294:0(4178)X5898274 71.04/71.13 conflict 100lvl : 41 bt37-295:0(5403)X5898377 71.14/71.27 conflict 101lvl : 37 bt37-726:0(4149)X5899802 71.14/71.28 conflict 101lvl : 41 bt37-295:0(5402)X5899906 71.34/71.42 conflict 101lvl : 37 bt37-295:0(4148)X5901332 71.34/71.42 conflict 132lvl : 37 bt36-618:0(4172)X5901436 71.34/71.43 conflict 135lvl : 40 bt40625:0(5399)X5901571 71.34/71.43 conflict 69lvl : 45 bt40-121:0(6500)X5901709 71.64/71.78 conflict 133lvl : 37 bt36-1086:0(4172)X5907444 71.64/71.78 conflict 136lvl : 40 bt40229:0(5399)X5907580 71.64/71.78 conflict 102lvl : 45 bt40-1100:0(6501)X5907719 71.84/71.93 conflict 100lvl : 37 bt36-1086:0(4172)X5909270 71.84/71.94 conflict 69lvl : 45 bt40-44:0(6501)X5909373 71.94/72.09 conflict 100lvl : 38 bt37-690:0(4178)X5910891 71.94/72.09 conflict 101lvl : 41 bt37-1087:0(5403)X5910994 72.14/72.23 conflict 167lvl : 37 bt37116:0(4147)X5912420 72.14/72.24 conflict 165lvl : 37 bt36-114:0(4172)X5912590 72.14/72.24 conflict 100lvl : 40 bt40-56:0(5400)X5912758 72.14/72.24 conflict 100lvl : 40 bt36-115:0(5424)X5912861 72.24/72.39 conflict 168lvl : 37 bt3743:0(4149)X5914284 72.24/72.39 conflict 100lvl : 37 bt36-42:0(4172)X5914455 72.24/72.39 conflict 102lvl : 40 bt4044:0(5398)X5914558 72.34/72.40 conflict 69lvl : 45 bt40-1028:0(6502)X5914663 72.44/72.54 conflict 100lvl : 37 bt36-1015:0(4172)X5916181 72.44/72.54 conflict 101lvl : 40 bt40620:0(5398)X5916284 72.55/72.69 conflict 102lvl : 37 bt3756:0(4147)X5917791 72.55/72.69 conflict 100lvl : 37 bt36-42:0(4172)X5917896 72.55/72.69 conflict 100lvl : 40 bt36-511:0(5423)X5917999 72.94/73.05 conflict 131lvl : 37 bt37-1014:0(4149)X5923905 72.94/73.05 conflict 69lvl : 41 bt37-1021:0(5402)X5924039 73.14/73.20 conflict 100lvl : 37 bt36-1014:0(4172)X5925433 73.14/73.21 conflict 100lvl : 40 bt36-1015:0(5423)X5925536 73.24/73.35 conflict 169lvl : 37 bt3743:0(4149)X5926959 73.24/73.36 conflict 136lvl : 41 bt37229:0(5403)X5927131 73.44/73.50 conflict 135lvl : 37 bt37620:0(4147)X5928592 73.44/73.50 conflict 100lvl : 37 bt36-618:0(4172)X5928730 73.44/73.51 conflict 100lvl : 40 bt36-619:0(5423)X5928833 73.75/73.86 conflict 133lvl : 37 bt36-870:0(4172)X5934810 73.75/73.87 conflict 136lvl : 40 bt40872:0(5399)X5934946 73.75/73.87 conflict 100lvl : 40 bt36-871:0(5423)X5935085 73.94/74.02 conflict 132lvl : 38 bt37-870:0(4178)X5936508 73.94/74.02 conflict 100lvl : 37 bt36-884:0(4172)X5936643 73.94/74.03 conflict 69lvl : 40 bt40-380:0(5399)X5936746 73.94/74.03 conflict 101lvl : 40 bt36-1159:0(5424)X5936818 74.04/74.17 conflict 133lvl : 37 bt36-870:0(4200)X5938242 74.04/74.18 conflict 69lvl : 40 bt40-619:0(5399)X5938378 74.04/74.18 conflict 69lvl : 45 bt40-632:0(6500)X5938450 74.24/74.32 conflict 136lvl : 37 bt37620:0(4148)X5939968 74.24/74.33 conflict 133lvl : 37 bt36-618:0(4172)X5940107 74.24/74.33 conflict 69lvl : 40 bt40-56:0(5397)X5940243 74.24/74.33 conflict 100lvl : 40 bt36-619:0(5422)X5940315 74.35/74.48 conflict 100lvl : 41 bt36-187:0(5404)X5941738 74.76/74.84 conflict 132lvl : 38 bt37-690:0(4178)X5947508 74.76/74.84 conflict 69lvl : 41 bt37-697:0(5403)X5947643 74.86/74.99 conflict 133lvl : 37 bt371015:0(4148)X5949037 74.86/74.99 conflict 130lvl : 37 bt36-1014:0(4172)X5949173 74.95/75.00 conflict 101lvl : 41 bt41-691:0(5401)X5949306 74.95/75.00 conflict 101lvl : 41 bt40-1015:0(5428)X5949410 74.95/75.00 conflict 69lvl : 45 bt40-697:0(6500)X5949514 75.05/75.15 conflict 130lvl : 38 bt36-870:0(4178)X5951032 75.05/75.15 conflict 101lvl : 41 bt40-871:0(5428)X5951165 75.05/75.16 conflict 69lvl : 45 bt40-13:0(6501)X5951269 75.25/75.30 conflict 136lvl : 37 bt378:0(4148)X5952787 75.25/75.30 conflict 133lvl : 37 bt36-6:0(4172)X5952926 75.25/75.31 conflict 69lvl : 45 bt40-8:0(6502)X5953062 75.35/75.45 conflict 133lvl : 37 bt36-222:0(4172)X5954580 75.35/75.46 conflict 133lvl : 39 bt36-223:0(5423)X5954716 75.75/75.81 conflict 100lvl : 37 bt36-294:0(4172)X5958346 75.75/75.82 conflict 133lvl : 40 bt36-295:0(5423)X5958449 75.86/75.97 conflict 132lvl : 38 bt36-6:0(4151)X5959905 75.86/75.97 conflict 101lvl : 41 bt40-295:0(5401)X5960040 75.86/75.97 conflict 69lvl : 45 bt40-13:0(6501)X5960144 76.05/76.12 conflict 131lvl : 37 bt36-690:0(4172)X5961662 76.05/76.12 conflict 100lvl : 40 bt36-691:0(5423)X5961796 76.15/76.27 conflict 169lvl : 37 bt377:0(4149)X5963219 76.15/76.27 conflict 101lvl : 41 bt37-691:0(5403)X5963391 76.55/76.62 conflict 132lvl : 38 bt36-762:0(4151)X5969012 76.55/76.62 conflict 69lvl : 41 bt41-769:0(5401)X5969147 76.55/76.63 conflict 101lvl : 41 bt40-295:0(5428)X5969219 76.55/76.63 conflict 69lvl : 45 bt40-769:0(6501)X5969323 76.65/76.78 conflict 133lvl : 37 bt36-6:0(4172)X5970841 76.65/76.78 conflict 136lvl : 40 bt4020:0(5399)X5970977 76.65/76.78 conflict 69lvl : 45 bt40-764:0(6500)X5971116 76.75/76.88 conflict 133lvl : 37 bt36-330:0(4172)X5971554 76.75/76.88 conflict 136lvl : 40 bt40337:0(5399)X5971690 76.75/76.89 conflict 69lvl : 45 bt40-764:0(6500)X5971829 76.96/77.01 conflict 100lvl : 37 bt37-331:0(4148)X5972755 76.96/77.01 conflict 133lvl : 37 bt36-690:0(4172)X5972858 76.96/77.02 conflict 101lvl : 41 bt40-691:0(5428)X5972994 76.96/77.02 conflict 69lvl : 45 bt40-692:0(6501)X5973098 77.25/77.37 conflict 132lvl : 38 bt36-870:0(4151)X5978405 77.25/77.38 conflict 69lvl : 41 bt41-872:0(5401)X5978540 77.25/77.38 conflict 69lvl : 41 bt40-295:0(5428)X5978612 77.25/77.38 conflict 69lvl : 45 bt40-877:0(6501)X5978684 77.45/77.53 conflict 131lvl : 37 bt36-870:0(4172)X5980202 77.45/77.54 conflict 100lvl : 40 bt36-871:0(5423)X5980336 77.55/77.68 conflict 135lvl : 37 bt377:0(4149)X5981759 77.55/77.69 conflict 133lvl : 37 bt36-6:0(4172)X5981897 77.55/77.69 conflict 136lvl : 40 bt401165:0(5399)X5982033 77.55/77.69 conflict 100lvl : 40 bt36-1159:0(5423)X5982172 77.75/77.84 conflict 133lvl : 37 bt37-690:0(4148)X5983595 77.75/77.84 conflict 100lvl : 41 bt37-704:0(5402)X5983731 78.06/78.19 conflict 133lvl : 38 bt37-294:0(4178)X5989186 78.06/78.19 conflict 69lvl : 41 bt37-1267:0(5403)X5989322 78.25/78.34 conflict 133lvl : 37 bt36-6:0(4200)X5990716 78.25/78.35 conflict 136lvl : 40 bt4013:0(5399)X5990852 78.25/78.35 conflict 69lvl : 45 bt40-1273:0(6500)X5990991 78.75/78.84 conflict 132lvl : 37 bt37-330:0(4149)X5998230 78.75/78.85 conflict 69lvl : 41 bt37-331:0(5402)X5998365 78.85/78.99 conflict 69lvl : 38 bt38-512:0(4151)X5999759 78.95/79.00 conflict 131lvl : 38 bt37-330:0(4178)X5999831 78.95/79.00 conflict 69lvl : 41 bt37-517:0(5403)X5999965 79.05/79.15 conflict 131lvl : 37 bt36-510:0(4172)X6001359 79.05/79.15 conflict 69lvl : 41 bt41-517:0(5401)X6001493 79.05/79.15 conflict 100lvl : 41 bt40-115:0(5428)X6001565 79.05/79.16 conflict 69lvl : 45 bt40-128:0(6501)X6001668 79.45/79.50 conflict 100lvl : 37 bt37-1086:0(4149)X6007510 79.45/79.51 conflict 100lvl : 41 bt37-884:0(5402)X6007613 79.55/79.66 conflict 101lvl : 40 bt40-115:0(5399)X6009038 79.75/79.80 conflict 102lvl : 37 bt37884:0(4147)X6010506 79.75/79.80 conflict 100lvl : 37 bt36-870:0(4172)X6010611 79.75/79.81 conflict 100lvl : 40 bt36-871:0(5423)X6010714 79.85/79.96 conflict 132lvl : 37 bt36-510:0(4172)X6012137 79.85/79.96 conflict 69lvl : 40 bt40-301:0(5398)X6012272 79.85/79.96 conflict 100lvl : 40 bt36-511:0(5423)X6012344 80.26/80.31 conflict 133lvl : 38 bt37-1086:0(4178)X6016678 80.26/80.31 conflict 100lvl : 41 bt37-344:0(5403)X6016814 80.55/80.67 conflict 133lvl : 38 bt37-294:0(4206)X6022628 80.55/80.68 conflict 69lvl : 41 bt37-944:0(5403)X6022764 80.75/80.83 conflict 133lvl : 37 bt36-510:0(4172)X6024158 80.75/80.83 conflict 101lvl : 41 bt41-956:0(5401)X6024294 80.75/80.83 conflict 101lvl : 41 bt40-511:0(5428)X6024398 80.75/80.84 conflict 69lvl : 45 bt40-524:0(6501)X6024502 80.85/80.98 conflict 136lvl : 37 bt37512:0(4148)X6026020 80.85/80.98 conflict 133lvl : 37 bt36-510:0(4172)X6026159 80.85/80.99 conflict 69lvl : 45 bt40-116:0(6502)X6026295 81.05/81.13 conflict 101lvl : 37 bt37-6:0(4149)X6027813 81.05/81.14 conflict 100lvl : 41 bt37-511:0(5402)X6027917 81.15/81.28 conflict 167lvl : 37 bt37224:0(4147)X6029342 81.15/81.28 conflict 165lvl : 37 bt36-222:0(4172)X6029512 81.15/81.29 conflict 136lvl : 40 bt40128:0(5400)X6029680 81.15/81.29 conflict 69lvl : 45 bt40-224:0(6502)X6029819 81.35/81.43 conflict 133lvl : 37 bt36-222:0(4172)X6031337 81.35/81.44 conflict 136lvl : 40 bt40769:0(5399)X6031473 81.35/81.44 conflict 69lvl : 45 bt40-224:0(6501)X6031612 81.45/81.59 conflict 133lvl : 45 bt3643:0(6504)X6033130 81.85/81.94 conflict 100lvl : 37 bt36-294:0(4172)X6038242 81.85/81.94 conflict 100lvl : 40 bt36-295:0(5423)X6038345 81.95/82.09 conflict 167lvl : 37 bt371087:0(4149)X6039768 81.95/82.09 conflict 133lvl : 37 bt36-1086:0(4172)X6039938 82.05/82.10 conflict 133lvl : 40 bt40512:0(5399)X6040074 82.05/82.10 conflict 69lvl : 45 bt40-1088:0(6501)X6040210 82.15/82.24 conflict 136lvl : 37 bt371088:0(4148)X6041728 82.15/82.25 conflict 133lvl : 37 bt36-1086:0(4172)X6041867 82.15/82.25 conflict 69lvl : 41 bt40-512:0(5401)X6042003 82.15/82.25 conflict 137lvl : 45 bt401088:0(6502)X6042075 82.35/82.40 conflict 134lvl : 37 bt36-511:0(4172)X6043661 82.35/82.40 conflict 69lvl : 40 bt40-121:0(5398)X6043798 82.35/82.40 conflict 100lvl : 40 bt36-187:0(5423)X6043870 82.65/82.76 conflict 100lvl : 38 bt37-186:0(4178)X6047753 82.65/82.76 conflict 101lvl : 41 bt37-187:0(5403)X6047856 82.85/82.91 conflict 132lvl : 38 bt37-186:0(4150)X6049282 82.85/82.91 conflict 134lvl : 41 bt37-308:0(5403)X6049417 82.95/83.06 conflict 100lvl : 37 bt36-510:0(4172)X6050876 82.95/83.06 conflict 69lvl : 40 bt40-524:0(5398)X6050979 82.95/83.07 conflict 69lvl : 45 bt40-301:0(6502)X6051051 83.15/83.21 conflict 133lvl : 37 bt36-294:0(4172)X6052569 83.15/83.22 conflict 100lvl : 40 bt36-223:0(5423)X6052705 83.45/83.57 conflict 101lvl : 37 bt37-1267:0(4148)X6058517 83.45/83.57 conflict 133lvl : 37 bt36-294:0(4172)X6058621 83.45/83.57 conflict 69lvl : 40 bt40-1087:0(5398)X6058757 83.45/83.58 conflict 69lvl : 45 bt40-1280:0(6500)X6058829 83.65/83.73 conflict 100lvl : 37 bt36-294:0(4172)X6060347 83.65/83.73 conflict 100lvl : 40 bt36-295:0(5423)X6060450 83.75/83.88 conflict 69lvl : 37 bt37-956:0(4146)X6061873 83.75/83.88 conflict 133lvl : 37 bt36-1266:0(4172)X6061945 83.75/83.88 conflict 135lvl : 40 bt401268:0(5397)X6062081 83.75/83.88 conflict 133lvl : 40 bt36-1267:0(5422)X6062219 83.95/84.03 conflict 168lvl : 37 bt37193:0(4147)X6063675 83.95/84.03 conflict 166lvl : 37 bt36-186:0(4172)X6063846 83.95/84.03 conflict 135lvl : 40 bt40188:0(5399)X6064015 83.95/84.04 conflict 100lvl : 40 bt36-187:0(5423)X6064153 84.05/84.18 conflict 133lvl : 38 bt37-942:0(4178)X6065576 84.05/84.19 conflict 101lvl : 41 bt37-943:0(5403)X6065712 84.25/84.33 conflict 132lvl : 37 bt36-222:0(4144)X6067138 84.25/84.34 conflict 69lvl : 45 bt40-944:0(6499)X6067273 84.55/84.68 conflict 133lvl : 37 bt36-294:0(4172)X6072450 84.55/84.69 conflict 100lvl : 40 bt36-619:0(5399)X6072586 84.75/84.84 conflict 136lvl : 40 bt401088:0(5398)X6074009 84.85/84.98 conflict 100lvl : 36 bt36-7:0(4142)X6075512 84.85/84.98 conflict 129lvl : 36 bt35-222:0(4166)X6075615 84.85/84.99 conflict 132lvl : 39 bt39236:0(5392)X6075747 84.85/84.99 conflict 102lvl : 44 bt4413:0(6495)X6075882 85.75/85.87 conflict 101lvl : 36 bt35-956:0(2822)X6085098 85.75/85.88 conflict 69lvl : 38 bt35-956:0(3977)X6085202 87.55/87.66 conflict 69lvl : 38 bt38-944:0(4154)X6091502 87.55/87.66 conflict 133lvl : 38 bt37-1014:0(4181)X6091574 87.55/87.66 conflict 69lvl : 41 bt37-1016:0(5406)X6091710 88.84/88.93 conflict 136lvl : 35 bt35224:0(2818)X6104928 88.84/88.93 conflict 133lvl : 35 bt34-223:0(2842)X6105067 88.84/88.94 conflict 69lvl : 37 bt37-697:0(3971)X6105203 88.84/88.94 conflict 69lvl : 41 bt37-697:0(5171)X6105275 89.64/89.71 conflict 131lvl : 38 bt38-920:0(4154)X6113217 89.64/89.71 conflict 133lvl : 38 bt37-222:0(4181)X6113351 89.64/89.72 conflict 134lvl : 41 bt37-908:0(5406)X6113487 90.34/90.42 conflict 170lvl : 37 bt37583:0(4149)X6122573 90.34/90.42 conflict 132lvl : 37 bt36-582:0(4172)X6122746 90.34/90.43 conflict 102lvl : 40 bt40589:0(5398)X6122881 90.34/90.43 conflict 69lvl : 45 bt40-625:0(6501)X6122986 92.24/92.31 conflict 100lvl : 38 bt37-488:0(4154)X6142428 92.24/92.31 conflict 133lvl : 37 bt36-294:0(4175)X6142531 92.24/92.31 conflict 100lvl : 41 bt41-308:0(5404)X6142667 92.24/92.31 conflict 100lvl : 41 bt40-475:0(5431)X6142770 92.24/92.32 conflict 69lvl : 45 bt40-301:0(6504)X6142873 94.14/94.23 conflict 168lvl : 35 bt35764:0(2818)X6161119 94.14/94.23 conflict 166lvl : 35 bt34-763:0(2842)X6161290 94.14/94.23 conflict 136lvl : 37 bt37121:0(3972)X6161459 94.14/94.24 conflict 69lvl : 41 bt37-13:0(5171)X6161598 95.14/95.23 conflict 136lvl : 37 bt37224:0(4151)X6168862 95.14/95.24 conflict 133lvl : 37 bt36-222:0(4175)X6169001 95.14/95.24 conflict 102lvl : 40 bt40229:0(5401)X6169137 95.14/95.24 conflict 100lvl : 40 bt36-223:0(5426)X6169242 97.34/97.42 conflict 69lvl : 38 bt38-1268:0(4155)X6183174 97.34/97.42 conflict 100lvl : 38 bt37-258:0(4180)X6183246 97.34/97.42 conflict 102lvl : 41 bt41265:0(5408)X6183349 97.34/97.43 conflict 100lvl : 41 bt37-259:0(5432)X6183454 98.64/98.73 conflict 131lvl : 38 bt37-186:0(4154)X6189938 98.64/98.73 conflict 101lvl : 41 bt37-259:0(5406)X6190072 101.15/101.23 conflict 168lvl : 35 bt351195:0(2820)X6207407 101.15/101.23 conflict 100lvl : 38 bt35-342:0(3977)X6207578 102.84/102.97 conflict 136lvl : 37 bt37440:0(4152)X6216672 102.84/102.97 conflict 132lvl : 37 bt36-438:0(4175)X6216811 102.84/102.97 conflict 101lvl : 40 bt40-1195:0(5402)X6216946 102.84/102.98 conflict 69lvl : 45 bt40-692:0(6503)X6217050 106.84/106.98 conflict 168lvl : 37 bt37800:0(4150)X6232393 106.84/106.98 conflict 166lvl : 37 bt36-798:0(4175)X6232564 106.84/106.98 conflict 135lvl : 40 bt40805:0(5403)X6232733 106.84/106.99 conflict 100lvl : 40 bt36-799:0(5427)X6232871 112.44/112.51 conflict 133lvl : 37 bt37-1266:0(4152)X6244435 112.44/112.51 conflict 100lvl : 41 bt37-704:0(5405)X6244571 115.04/115.12 conflict 133lvl : 37 bt37-690:0(4152)X6253020 115.04/115.12 conflict 101lvl : 41 bt37-691:0(5405)X6253156 125.13/125.26 conflict 100lvl : 35 bt35-403:0(2819)X6275642 125.13/125.26 conflict 68lvl : 38 bt35-414:0(3975)X6275745 129.13/129.26 conflict 168lvl : 37 bt371051:0(4152)X6285253 129.13/129.26 conflict 132lvl : 37 bt36-1050:0(4175)X6285424 129.13/129.27 conflict 102lvl : 40 bt401057:0(5401)X6285559 136.13/136.23 conflict 101lvl : 38 bt35-1170:0(3975)X6300814 146.73/146.89 conflict 100lvl : 38 bt38-294:0(4154)X6309369 146.73/146.89 conflict 100lvl : 38 bt37-1122:0(4181)X6309472 146.73/146.89 conflict 69lvl : 41 bt37-1129:0(5405)X6309575 152.32/152.42 conflict 69lvl : 38 bt38-1160:0(4154)X6317306 152.32/152.42 conflict 100lvl : 38 bt37-1122:0(4181)X6317378 152.32/152.42 conflict 100lvl : 41 bt37-1123:0(5406)X6317481 165.62/165.77 conflict 131lvl : 38 bt38-1050:0(4154)X6337957 165.62/165.77 conflict 101lvl : 38 bt37-618:0(4181)X6338091 165.62/165.77 conflict 101lvl : 41 bt37-632:0(5405)X6338195 173.32/173.42 conflict 100lvl : 37 bt36-582:0(4172)X6345272 173.32/173.43 conflict 69lvl : 45 bt40-56:0(6502)X6345375 187.61/187.72 conflict 101lvl : 38 bt38-877:0(4154)X6359297 187.61/187.73 conflict 100lvl : 38 bt37-1266:0(4181)X6359401 187.61/187.73 conflict 101lvl : 41 bt37-871:0(5406)X6359504 197.31/197.45 conflict 101lvl : 38 bt37-871:0(4154)X6370501 197.31/197.45 conflict 133lvl : 37 bt36-690:0(4175)X6370605 197.31/197.46 conflict 136lvl : 40 bt40193:0(5402)X6370741 197.31/197.46 conflict 69lvl : 45 bt40-872:0(6505)X6370880 216.71/216.89 conflict 136lvl : 37 bt37943:0(4151)X6385650 216.71/216.89 conflict 133lvl : 37 bt36-942:0(4175)X6385789 216.71/216.90 conflict 102lvl : 40 bt40944:0(5401)X6385925 216.80/216.90 conflict 69lvl : 45 bt40-1172:0(6504)X6386030 228.90/229.00 conflict 102lvl : 37 bt37943:0(4151)X6396323 228.90/229.00 conflict 100lvl : 37 bt36-942:0(4175)X6396428 228.90/229.00 conflict 101lvl : 41 bt41-1159:0(5404)X6396531 228.90/229.01 conflict 100lvl : 41 bt40-943:0(5431)X6396635 258.99/259.16 conflict 100lvl : 35 bt35-691:0(2819)X6419432 258.99/259.16 conflict 101lvl : 38 bt35-1100:0(3975)X6419535 276.79/276.94 conflict 133lvl : 37 bt36-1194:0(4175)X6426593 276.79/276.95 conflict 136lvl : 40 bt401208:0(5402)X6426729 276.79/276.95 conflict 69lvl : 45 bt40-1160:0(6503)X6426868 294.18/294.35 conflict 136lvl : 37 bt371160:0(4148)X6437164 294.18/294.35 conflict 133lvl : 37 bt36-1158:0(4172)X6437303 294.18/294.36 conflict 69lvl : 45 bt40-956:0(6500)X6437439 336.97/337.14 conflict 102lvl : 37 bt37619:0(4151)X6457021 336.97/337.14 conflict 100lvl : 37 bt36-618:0(4175)X6457126 360.36/360.53 conflict 102lvl : 37 bt37620:0(4149)X6467078 360.36/360.53 conflict 69lvl : 41 bt37-1057:0(5280)X6467183 427.24/427.40 conflict 101lvl : 37 bt37-403:0(4151)X6495869 427.24/427.40 conflict 132lvl : 37 bt36-1086:0(4175)X6495973 427.24/427.41 conflict 135lvl : 40 bt401093:0(5402)X6496108 427.24/427.41 conflict 69lvl : 45 bt40-1028:0(6503)X6496246 458.93/459.13 conflict 133lvl : 38 bt37-1014:0(4154)X6506859 458.93/459.14 conflict 101lvl : 41 bt37-1028:0(5406)X6506995 530.71/530.92 conflict 136lvl : 35 bt351196:0(2819)X6529672 530.71/530.92 conflict 133lvl : 35 bt34-1195:0(2842)X6529811 530.71/530.93 conflict 69lvl : 37 bt37-632:0(3970)X6529947 530.71/530.93 conflict 69lvl : 41 bt37-632:0(5171)X6530019 574.89/575.16 conflict 168lvl : 37 bt37512:0(4152)X6539670 574.89/575.17 conflict 100lvl : 41 bt37-1015:0(5406)X6539841 686.46/686.76 conflict 101lvl : 35 bt35-943:0(2820)X6563993 686.46/686.77 conflict 68lvl : 38 bt35-956:0(3975)X6564097 748.95/749.24 conflict 166lvl : 37 bt36-1087:0(4175)X6576093 748.95/749.25 conflict 100lvl : 40 bt36-1087:0(5426)X6576262 898.10/898.45 conflict 133lvl : 35 bt35-367:0(2820)X6599861 898.10/898.45 conflict 100lvl : 38 bt35-406:0(3975)X6599997 981.67/982.01 conflict 101lvl : 38 bt38-798:0(4154)X6607647 981.67/982.02 conflict 101lvl : 38 bt37-1230:0(4181)X6607751 981.67/982.02 conflict 69lvl : 41 bt37-799:0(5405)X6607855 1130.83/1131.23 conflict 100lvl : 36 bt35-450:0(2822)X6627446 1130.83/1131.23 conflict 101lvl : 38 bt35-450:0(3977)X6627549 1241.70/1242.18 conflict 100lvl : 38 bt38-402:0(4154)X6636986 1241.70/1242.18 conflict 101lvl : 38 bt37-294:0(4181)X6637089 1241.70/1242.19 conflict 100lvl : 41 bt37-416:0(5405)X6637193 1357.86/1358.37 conflict 130lvl : 37 bt36-474:0(4172)X6648408 1567.30/1567.84 conflict 69lvl : 38 bt38-836:0(4154)X6670527 1567.30/1567.84 conflict 100lvl : 38 bt37-1086:0(4181)X6670599 1567.30/1567.84 conflict 100lvl : 41 bt37-835:0(5406)X6670702 1722.06/1722.66 conflict 100lvl : 38 bt37-416:0(4154)X6680408 1722.06/1722.66 conflict 133lvl : 37 bt36-798:0(4175)X6680511 1722.06/1722.67 conflict 102lvl : 40 bt40835:0(5402)X6680647 1722.06/1722.67 conflict 69lvl : 45 bt40-404:0(6504)X6680752 2074.85/2075.51 conflict 101lvl : 35 bt35-692:0(2817)X6705960 2074.85/2075.51 conflict 100lvl : 35 bt34-691:0(2842)X6706064 2074.85/2075.52 conflict 101lvl : 41 bt3756:0(5170)X6706167 2275.99/2276.72 conflict 136lvl : 37 bt37152:0(4152)X6714586 2275.99/2276.72 conflict 133lvl : 37 bt36-150:0(4175)X6714725 2275.99/2276.73 conflict 69lvl : 40 bt40-128:0(5401)X6714861 2275.99/2276.73 conflict 100lvl : 40 bt36-151:0(5426)X6714933 2400.06/2400.80 2400.06/2400.80 c *** INTERRUPTED *** 2400.06/2400.80 s SATISFIABLE 2400.06/2400.80 c Best value found: 7590561 2400.06/2400.80 2400.06/2400.80 2400.06/2400.80 v <instantiation type='solution' cost='7590561'> 2400.06/2400.80 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35]
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240551-1500638638/watcher-4240551-1500638638 -o /tmp/evaluation-result-4240551-1500638638/solver-4240551-1500638638 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240551-1500638638.xml pid=8035 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.04 2.07 2.07 3/187 8038 /proc/meminfo: memFree=31965580/32770624 swapFree=6244/36852 [pid=8038] ppid=8035 vsize=27120 CPUtime=0 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 17140660 27770880 806 33554432000 4194304 5970956 140728432582496 140728432579144 140359446379493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 6780 806 703 434 0 144 0 [startup+0.100119 s] /proc/loadavg: 2.04 2.07 2.07 3/187 8038 /proc/meminfo: memFree=31965580/32770624 swapFree=6244/36852 [pid=8038] ppid=8035 vsize=55216 CPUtime=0.09 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 6809 0 0 0 8 1 0 0 20 0 1 0 17140660 56541184 7646 33554432000 4194304 5970956 140728432582496 140728432579320 140359446379493 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 13804 7646 764 434 0 7168 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 55216 [startup+0.200326 s] /proc/loadavg: 2.04 2.07 2.07 3/187 8038 /proc/meminfo: memFree=31965580/32770624 swapFree=6244/36852 [pid=8038] ppid=8035 vsize=112320 CPUtime=0.19 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 16511 0 0 0 17 2 0 0 20 0 1 0 17140660 115015680 19413 33554432000 4194304 5970956 140728432582496 140728432569816 4934521 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 28080 19413 781 434 0 21444 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 112320 [startup+0.300256 s] /proc/loadavg: 2.04 2.07 2.07 3/187 8038 /proc/meminfo: memFree=31965580/32770624 swapFree=6244/36852 [pid=8038] ppid=8035 vsize=112584 CPUtime=0.29 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 16597 0 0 0 27 2 0 0 20 0 1 0 17140660 115286016 19479 33554432000 4194304 5970956 140728432582496 140728432579832 4934538 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 28146 19479 791 434 0 21510 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 112584 [startup+0.700216 s] /proc/loadavg: 2.04 2.07 2.07 3/187 8038 /proc/meminfo: memFree=31965580/32770624 swapFree=6244/36852 [pid=8038] ppid=8035 vsize=115076 CPUtime=0.69 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 17209 0 0 0 67 2 0 0 20 0 1 0 17140660 117837824 20073 33554432000 4194304 5970956 140728432582496 140728432569800 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 28769 20073 792 434 0 22133 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 115076 [startup+1.50023 s] /proc/loadavg: 2.04 2.07 2.07 3/188 8039 /proc/meminfo: memFree=31889068/32770624 swapFree=6244/36464 [pid=8038] ppid=8035 vsize=115604 CPUtime=1.48 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 17329 0 0 0 146 2 0 0 20 0 1 0 17140660 118378496 20205 33554432000 4194304 5970956 140728432582496 140728432579832 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 28901 20205 793 434 0 22265 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 115604 [startup+3.10023 s] /proc/loadavg: 2.04 2.07 2.07 3/188 8039 /proc/meminfo: memFree=31887960/32770624 swapFree=6244/36464 [pid=8038] ppid=8035 vsize=115868 CPUtime=3.09 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 24189 0 0 0 306 3 0 0 20 0 1 0 17140660 118648832 20303 33554432000 4194304 5970956 140728432582496 140728432579832 5047532 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 28967 20303 793 434 0 22331 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 115868 [startup+6.30024 s] /proc/loadavg: 2.03 2.07 2.07 3/188 8039 /proc/meminfo: memFree=31887112/32770624 swapFree=6244/36464 [pid=8038] ppid=8035 vsize=116396 CPUtime=6.29 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 32251 0 0 0 625 4 0 0 20 0 1 0 17140660 119189504 20455 33554432000 4194304 5970956 140728432582496 140728432579832 5045736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29099 20455 793 434 0 22463 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 116396 [startup+12.7002 s] /proc/loadavg: 2.03 2.07 2.06 3/188 8039 /proc/meminfo: memFree=31886228/32770624 swapFree=6244/36480 [pid=8038] ppid=8035 vsize=117044 CPUtime=12.68 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 40886 0 0 0 1264 4 0 0 20 0 1 0 17140660 119853056 20593 33554432000 4194304 5970956 140728432582496 140728432579832 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29261 20593 793 434 0 22625 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 117044 [startup+25.5003 s] /proc/loadavg: 2.02 2.07 2.06 3/188 8039 /proc/meminfo: memFree=31886228/32770624 swapFree=6244/36504 [pid=8038] ppid=8035 vsize=117168 CPUtime=25.48 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 57179 0 0 0 2542 6 0 0 20 0 1 0 17140660 119980032 20622 33554432000 4194304 5970956 140728432582496 140728432579832 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29292 20622 793 434 0 22656 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 117168 [startup+51.1003 s] /proc/loadavg: 2.02 2.06 2.06 3/188 8039 /proc/meminfo: memFree=31883404/32770624 swapFree=6244/36540 [pid=8038] ppid=8035 vsize=117300 CPUtime=51.06 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 63232 0 0 0 5100 6 0 0 20 0 1 0 17140660 120115200 21168 33554432000 4194304 5970956 140728432582496 140728432579832 4933196 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29325 21168 793 434 0 22689 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 117300 [startup+102.3 s] /proc/loadavg: 2.01 2.05 2.06 3/187 8040 /proc/meminfo: memFree=31880844/32770624 swapFree=6244/36644 [pid=8038] ppid=8035 vsize=117432 CPUtime=102.25 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 64523 0 0 0 10218 7 0 0 20 0 1 0 17140660 120250368 21712 33554432000 4194304 5970956 140728432582496 140728432579832 5136623 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29358 21712 793 434 0 22722 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 117432 [startup+162.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 8041 /proc/meminfo: memFree=31880568/32770624 swapFree=6244/36716 [pid=8038] ppid=8035 vsize=117564 CPUtime=162.22 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 65610 0 0 0 16215 7 0 0 20 0 1 0 17140660 120385536 21762 33554432000 4194304 5970956 140728432582496 140728432579832 5136623 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29391 21762 793 434 0 22755 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 117564 [startup+222.306 s] /proc/loadavg: 2.10 2.07 2.06 3/187 8042 /proc/meminfo: memFree=31880844/32770624 swapFree=6244/36772 [pid=8038] ppid=8035 vsize=117688 CPUtime=222.21 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 66686 0 0 0 22214 7 0 0 20 0 1 0 17140660 120512512 21797 33554432000 4194304 5970956 140728432582496 140728432579832 5045736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 21797 793 434 0 22786 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 117688 [startup+282.3 s] /proc/loadavg: 2.04 2.05 2.05 3/187 8043 /proc/meminfo: memFree=31881300/32770624 swapFree=6244/36828 [pid=8038] ppid=8035 vsize=117688 CPUtime=282.18 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 67734 0 0 0 28211 7 0 0 20 0 1 0 17140660 120512512 21797 33554432000 4194304 5970956 140728432582496 140728432579832 5136786 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 21797 793 434 0 22786 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 117688 [startup+342.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 8044 /proc/meminfo: memFree=31880680/32770624 swapFree=6244/36860 [pid=8038] ppid=8035 vsize=117688 CPUtime=342.17 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 68777 0 0 0 34210 7 0 0 20 0 1 0 17140660 120512512 21797 33554432000 4194304 5970956 140728432582496 140728432579832 4934978 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 21797 793 434 0 22786 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 117688 [startup+402.3 s] /proc/loadavg: 2.05 2.05 2.05 3/188 8053 /proc/meminfo: memFree=31880468/32770624 swapFree=6244/36888 [pid=8038] ppid=8035 vsize=117688 CPUtime=402.15 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 69817 0 0 0 40208 7 0 0 20 0 1 0 17140660 120512512 21797 33554432000 4194304 5970956 140728432582496 140728432579832 5098944 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 21797 793 434 0 22786 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 117688 [startup+462.3 s] /proc/loadavg: 2.02 2.04 2.05 3/188 8054 /proc/meminfo: memFree=31878900/32770624 swapFree=6244/36940 [pid=8038] ppid=8035 vsize=117688 CPUtime=462.13 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 70810 0 0 0 46206 7 0 0 20 0 1 0 17140660 120512512 22309 33554432000 4194304 5970956 140728432582496 140728432579832 5045736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22309 793 434 0 22786 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 117688 [startup+522.3 s] /proc/loadavg: 2.01 2.04 2.05 3/188 8055 /proc/meminfo: memFree=31878984/32770624 swapFree=6244/36960 [pid=8038] ppid=8035 vsize=117688 CPUtime=522.11 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 71849 0 0 0 52204 7 0 0 20 0 1 0 17140660 120512512 22310 33554432000 4194304 5970956 140728432582496 140728432579832 5320381 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22310 793 434 0 22786 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 117688 [startup+582.3 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8056 /proc/meminfo: memFree=31879072/32770624 swapFree=6244/37016 [pid=8038] ppid=8035 vsize=117688 CPUtime=582.09 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 72883 0 0 0 58202 7 0 0 20 0 1 0 17140660 120512512 22312 33554432000 4194304 5970956 140728432582496 140728432579832 5136623 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22312 793 434 0 22786 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 117688 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 8200 /proc/meminfo: memFree=31443372/32770624 swapFree=6244/37596 [pid=8038] ppid=8035 vsize=117688 CPUtime=1481.82 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 86554 0 0 0 148173 9 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5046644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 117688 [startup+1542.31 s] /proc/loadavg: 2.00 2.03 2.05 3/187 8201 /proc/meminfo: memFree=31443608/32770624 swapFree=6244/37632 [pid=8038] ppid=8035 vsize=117688 CPUtime=1541.81 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 87291 0 0 0 154172 9 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 117688 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.05 3/188 8210 /proc/meminfo: memFree=31443172/32770624 swapFree=6244/37672 [pid=8038] ppid=8035 vsize=117688 CPUtime=1601.79 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 88316 0 0 0 160169 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 4934116 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 117688 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 8211 /proc/meminfo: memFree=31442212/32770624 swapFree=6244/37708 [pid=8038] ppid=8035 vsize=117688 CPUtime=1661.78 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 88858 0 0 0 166168 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5136623 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 117688 [startup+1722.3 s] /proc/loadavg: 2.10 2.04 2.05 3/188 8212 /proc/meminfo: memFree=31442584/32770624 swapFree=6244/37736 [pid=8038] ppid=8035 vsize=117688 CPUtime=1721.76 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 89404 0 0 0 172166 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5047698 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 117688 [startup+1782.3 s] /proc/loadavg: 2.08 2.05 2.05 3/188 8213 /proc/meminfo: memFree=31442984/32770624 swapFree=6244/37780 [pid=8038] ppid=8035 vsize=117688 CPUtime=1781.74 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 90453 0 0 0 178164 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5045308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 117688 [startup+1842.3 s] /proc/loadavg: 2.03 2.04 2.05 3/188 8214 /proc/meminfo: memFree=31442656/32770624 swapFree=6244/37808 [pid=8038] ppid=8035 vsize=117688 CPUtime=1841.72 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 91044 0 0 0 184162 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5136623 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1841.72 Current children cumulated vsize (KiB) 117688 [startup+1902.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 8215 /proc/meminfo: memFree=31442440/32770624 swapFree=6244/37836 [pid=8038] ppid=8035 vsize=117688 CPUtime=1901.7 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 92062 0 0 0 190160 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 4934350 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1901.7 Current children cumulated vsize (KiB) 117688 [startup+1962.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 8216 /proc/meminfo: memFree=31442452/32770624 swapFree=6244/37868 [pid=8038] ppid=8035 vsize=117688 CPUtime=1961.69 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 92854 0 0 0 196159 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 4971765 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 1961.69 Current children cumulated vsize (KiB) 117688 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 8217 /proc/meminfo: memFree=31443136/32770624 swapFree=6244/37896 [pid=8038] ppid=8035 vsize=117688 CPUtime=2021.67 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 93632 0 0 0 202157 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5045421 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2021.67 Current children cumulated vsize (KiB) 117688 [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 8218 /proc/meminfo: memFree=31443136/32770624 swapFree=6244/37932 [pid=8038] ppid=8035 vsize=117688 CPUtime=2081.66 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 94637 0 0 0 208156 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2081.66 Current children cumulated vsize (KiB) 117688 [startup+2142.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 8219 /proc/meminfo: memFree=31443136/32770624 swapFree=6244/37972 [pid=8038] ppid=8035 vsize=117688 CPUtime=2141.63 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 95270 0 0 0 214153 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5136803 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2141.63 Current children cumulated vsize (KiB) 117688 [startup+2202.31 s] /proc/loadavg: 2.22 2.09 2.06 3/188 8228 /proc/meminfo: memFree=31442748/32770624 swapFree=6244/38012 [pid=8038] ppid=8035 vsize=117688 CPUtime=2201.62 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 95885 0 0 0 220152 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 4970584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2201.62 Current children cumulated vsize (KiB) 117688 [startup+2262.3 s] /proc/loadavg: 2.12 2.08 2.06 3/188 8229 /proc/meminfo: memFree=31443152/32770624 swapFree=6244/38036 [pid=8038] ppid=8035 vsize=117688 CPUtime=2261.6 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 96496 0 0 0 226150 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2261.6 Current children cumulated vsize (KiB) 117688 [startup+2322.3 s] /proc/loadavg: 2.04 2.07 2.06 3/188 8230 /proc/meminfo: memFree=31442948/32770624 swapFree=6244/38076 [pid=8038] ppid=8035 vsize=117688 CPUtime=2321.58 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 97512 0 0 0 232148 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2321.58 Current children cumulated vsize (KiB) 117688 [startup+2382.3 s] /proc/loadavg: 2.06 2.07 2.06 3/188 8231 /proc/meminfo: memFree=31442736/32770624 swapFree=6244/38116 [pid=8038] ppid=8035 vsize=117688 CPUtime=2381.56 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 98140 0 0 0 238146 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5045308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2381.56 Current children cumulated vsize (KiB) 117688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.8 s] /proc/loadavg: 2.04 2.07 2.05 3/188 8232 /proc/meminfo: memFree=31443240/32770624 swapFree=6244/38132 [pid=8038] ppid=8035 vsize=117688 CPUtime=2400.06 cores=0,2,4,6 /proc/8038/stat : 8038 (cosoco) R 8035 8038 2920 0 -1 4202496 98761 0 0 0 239996 10 0 0 20 0 1 0 17140660 120512512 22317 33554432000 4194304 5970956 140728432582496 140728432579832 5250824 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39698432 140728432583868 140728432584003 140728432584003 140728432586702 0 /proc/8038/statm: 29422 22317 793 434 0 22786 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 117688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8038 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.8 CPU time (s): 2400.07 CPU user time (s): 2399.96 CPU system time (s): 0.104968 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 117688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.96 system time used= 0.104968 maximum resident set size= 89312 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98793 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= 17 involuntary context switches= 122505 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.13359 second user time and 8.00389 second system time The end
Begin job on node125 at 2017-07-21 14:03:58 IDJOB=4240551 IDBENCH=123151 IDSOLVER=2621 FILE ID=node125/4240551-1500638638 RUNJOBID= node125-1500623778-2951 PBS_JOBID= 20623008 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-ste36c.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240551-1500638638/watcher-4240551-1500638638 -o /tmp/evaluation-result-4240551-1500638638/solver-4240551-1500638638 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240551-1500638638.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d05a87fa530094a27b230f4f9ca3d0a8 RANDOM SEED=1063963354 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31966088 kB MemAvailable: 31992084 kB Buffers: 95656 kB Cached: 211644 kB SwapCached: 488 kB Active: 264284 kB Inactive: 106548 kB Active(anon): 12968 kB Inactive(anon): 69696 kB Active(file): 251316 kB Inactive(file): 36852 kB Unevictable: 6244 kB Mlocked: 6244 kB SwapTotal: 67108860 kB SwapFree: 67108372 kB Dirty: 2920 kB Writeback: 0 kB AnonPages: 68812 kB Mapped: 34416 kB Shmem: 16920 kB Slab: 133628 kB SReclaimable: 107324 kB SUnreclaim: 26304 kB KernelStack: 3376 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2017-07-21 14:43:59