Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-sat 1.12 | SAT (TO) | 3684 | 2520.05 | 2519.8 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml |
MD5SUM | 7992d423b18f632a54772c1bcf249848 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 3153 |
Best CPU time to get the best result obtained on this benchmark | 2520.1001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 930 |
Number of constraints | 436 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":8,"count":435},{"size":30,"count":30}] |
Minimum variable degree | 0 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":3,"count":435},{"arity":30,"count":1}] |
Number of extensional constraints | 435 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":435},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.03 c SAT : Variables: 8100 -- Clauses: 39180 0.00/0.03 c best=?? lower=-15950 upper=0 0.10/0.14 c 0.10/0.14 c This is cosoco 1.12 -- 0.10/0.14 c 0.10/0.14 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265797-1502570877.xml 0.10/0.14 c enable optimization 0.10/0.14 c ========================================[ Problem Statistics ]=========================================== 0.10/0.14 c | 0.10/0.14 c | Parse time : 0.02 s 0.10/0.14 c | 0.10/0.14 c | Variables: 930 0.10/0.14 c | Domain Sizes: 8..30 0.10/0.14 c | 0.10/0.14 c | Constraints: 437 0.10/0.14 c | Arity: 3..435 -- Ternary: 435 0.10/0.14 c | 0.10/0.14 c | Types: 0.10/0.14 c | All Different: 1 0.10/0.14 c | Extension: 435 (nb tuples: 870..870) -- (shared: 434) 0.10/0.14 c | Sum: 1 0.10/0.14 c | 0.10/0.14 c ========================================================================================================= 0.10/0.14 o -3954 0.10/0.14 c 1 calls to solver: best=-3954 lower=-3953 upper=0 0.21/0.22 o -3948 0.21/0.31 conflict 57lvl : 28 bt28-148:0(644)X169418 0.79/0.88 o -3904 0.79/0.88 c 3 calls to solver: best=-3904 lower=-3903 upper=0 4.19/4.22 o -3824 7.19/7.29 o -3810 7.19/7.29 c 5 calls to solver: best=-3810 lower=-3809 upper=0 7.69/7.76 o -3799 19.90/19.98 o -3775 19.90/19.98 c 7 calls to solver: best=-3775 lower=-3774 upper=0 22.70/22.74 o -3726 32.80/32.80 conflict 57lvl : 435 bt435-38:0(549)X1090725 32.90/32.93 conflict 57lvl : 434 bt434-578:0(548)X1090785 33.70/33.74 o -3709 33.70/33.74 c 9 calls to solver: best=-3709 lower=-3708 upper=0 33.80/33.81 conflict 57lvl : 435 bt435-698:0(549)X1097419 36.70/36.77 conflict 57lvl : 44 bt43-768:0(871)X1108331 36.70/36.77 conflict 57lvl : 44 bt43-858:0(875)X1108391 38.40/38.50 conflict 57lvl : 435 bt435-518:0(549)X1109325 38.60/38.62 conflict 57lvl : 435 bt435-128:0(549)X1109385 39.00/39.05 conflict 57lvl : 435 bt435-38:0(549)X1109445 43.50/43.59 conflict 57lvl : 106 bt106-687:0(1457)X1123628 43.50/43.59 conflict 57lvl : 107 bt107-446:0(1582)X1123688 43.50/43.59 -> -446:X(1582)conflict 83lvl : 119 bt119-687:0(1579)X1123748 46.70/46.72 conflict 57lvl : 435 bt435-608:0(549)X1126800 46.70/46.79 conflict 57lvl : 434 bt434-611:0(613)X1126860 46.80/46.81 conflict 84lvl : 433 bt4339:0(601)X1126920 46.80/46.83 conflict 56lvl : 432 bt432-549:0(1039)X1127007 47.00/47.01 conflict 57lvl : 435 bt435-728:0(551)X1127066 47.00/47.09 conflict 57lvl : 434 bt434-731:0(617)X1127126 47.00/47.10 conflict 84lvl : 433 bt4339:0(607)X1127186 47.10/47.17 conflict 56lvl : 429 bt429-219:0(1036)X1127273 47.20/47.24 conflict 57lvl : 434 bt434-550:0(920)X1127332 47.20/47.25 conflict 84lvl : 433 bt433-260:0(609)X1127392 47.20/47.27 conflict 57lvl : 432 bt432-251:0(583)X1127479 47.30/47.34 conflict 57lvl : 427 bt427-71:0(569)X1127539 47.50/47.51 conflict 57lvl : 415 bt415-69:0(1022)X1127599 47.50/47.56 conflict 57lvl : 435 bt435-8:0(555)X1127659 47.60/47.69 conflict 57lvl : 435 bt435-488:0(551)X1127719 47.90/47.92 conflict 57lvl : 433 bt433-11:0(622)X1127779 47.90/47.93 conflict 84lvl : 432 bt43239:0(609)X1127839 50.40/50.41 conflict 57lvl : 435 bt435-188:0(551)X1133381 50.50/50.58 conflict 57lvl : 433 bt433-220:0(920)X1133441 50.50/50.59 conflict 84lvl : 432 bt432-320:0(594)X1133501 50.60/50.61 conflict 57lvl : 431 bt431-311:0(582)X1133588 50.70/50.77 conflict 57lvl : 419 bt419-521:0(561)X1133648 50.90/50.98 conflict 57lvl : 405 bt405-69:0(1012)X1133708 51.01/51.08 conflict 57lvl : 432 bt432-604:0(1029)X1133768 51.01/51.09 conflict 57lvl : 432 bt432-616:0(938)X1133828 51.01/51.10 conflict 112lvl : 431 bt431611:0(744)X1133888 51.11/51.16 conflict 57lvl : 435 bt435-458:0(553)X1134003 51.70/51.76 conflict 57lvl : 433 bt433-620:0(630)X1134063 51.70/51.78 conflict 138lvl : 432 bt4329:0(611)X1134123 51.80/51.82 conflict 112lvl : 430 bt430722:0(757)X1134264 51.90/51.90 conflict 57lvl : 434 bt434-189:0(925)X1134379 51.90/51.92 conflict 84lvl : 433 bt433-290:0(594)X1134439 51.90/51.93 conflict 113lvl : 432 bt43211:0(586)X1134526 51.90/51.99 conflict 57lvl : 428 bt428-671:0(572)X1134642 51.90/52.00 conflict 57lvl : 428 bt428-664:0(1016)X1134702 71.40/71.47 conflict 57lvl : 435 bt435-11:0(592)X1156203 71.50/71.58 conflict 57lvl : 427 bt427-71:0(570)X1156263 72.00/72.01 conflict 57lvl : 397 bt397-69:0(1003)X1156323 72.00/72.01 conflict 57lvl : 397 bt397-69:0(985)X1156383 72.00/72.02 conflict 57lvl : 397 bt397-219:0(857)X1156443 72.00/72.02 conflict 57lvl : 397 bt397-82:0(910)X1156503 72.00/72.03 conflict 83lvl : 397 bt397-82:0(906)X1156563 72.00/72.05 conflict 57lvl : 396 bt396-20:0(701)X1156649 72.00/72.05 conflict 57lvl : 396 bt396-729:0(986)X1156709 72.00/72.06 conflict 57lvl : 396 bt396-742:0(877)X1156769 72.00/72.08 conflict 57lvl : 395 bt395-2:0(694)X1156829 72.00/72.09 conflict 57lvl : 395 bt395-82:0(875)X1156889 72.10/72.11 conflict 84lvl : 394 bt39469:0(681)X1156949 72.10/72.16 conflict 84lvl : 393 bt39331:0(873)X1157036 72.30/72.34 conflict 57lvl : 389 bt389-230:0(905)X1157123 72.30/72.36 conflict 57lvl : 389 bt389-238:0(866)X1157183 72.40/72.42 conflict 57lvl : 435 bt435-731:0(586)X1157243 72.50/72.51 conflict 57lvl : 434 bt434-518:0(550)X1157303 72.70/72.70 conflict 57lvl : 433 bt433-548:0(549)X1157363 72.70/72.77 conflict 57lvl : 434 bt434-551:0(620)X1157423 72.70/72.79 conflict 84lvl : 433 bt4339:0(607)X1157483 72.90/72.91 conflict 57lvl : 426 bt426-220:0(913)X1157570 72.90/72.92 conflict 84lvl : 425 bt425-650:0(581)X1157630 72.90/72.94 conflict 113lvl : 424 bt42411:0(576)X1157717 72.90/72.95 conflict 57lvl : 423 bt423-641:0(574)X1157833 73.30/73.38 conflict 57lvl : 435 bt435-728:0(563)X1157893 73.40/73.47 conflict 57lvl : 434 bt434-728:0(556)X1157953 73.80/73.89 conflict 57lvl : 433 bt433-182:0(611)X1158013 73.90/73.91 conflict 57lvl : 432 bt432-191:0(615)X1158073 73.90/73.92 conflict 57lvl : 432 bt432-219:0(923)X1158133 73.90/73.93 conflict 84lvl : 431 bt431-860:0(603)X1158193 73.90/73.95 conflict 113lvl : 430 bt43011:0(584)X1158280 73.90/73.96 conflict 57lvl : 429 bt429-851:0(582)X1158396 74.30/74.30 conflict 57lvl : 433 bt433-731:0(625)X1158456 74.30/74.32 conflict 84lvl : 432 bt4329:0(619)X1158516 87.30/87.31 conflict 57lvl : 435 bt435-128:0(551)X1169163 87.50/87.53 conflict 57lvl : 433 bt433-131:0(619)X1169223 87.50/87.55 conflict 84lvl : 432 bt4329:0(604)X1169283 87.80/87.86 conflict 57lvl : 413 bt413-80:0(890)X1169370 87.80/87.86 conflict 57lvl : 413 bt413-232:0(926)X1169430 87.80/87.89 conflict 57lvl : 412 bt412-80:0(876)X1169490 87.80/87.89 conflict 82lvl : 412 bt412-17:0(913)X1169550 87.90/87.92 conflict 84lvl : 411 bt41113:0(870)X1169635 87.90/87.95 conflict 164lvl : 410 bt41020:0(868)X1169722 87.90/87.96 conflict 238lvl : 410 bt41052:0(910)X1169889 87.90/87.98 conflict 136lvl : 409 bt409-20:0(866)X1170130 88.01/88.01 conflict 57lvl : 408 bt408-219:0(998)X1170269 88.01/88.01 conflict 243lvl : 408 bt40839:0(853)X1170329 88.01/88.02 conflict 57lvl : 408 bt408-82:0(888)X1170575 88.01/88.04 conflict 82lvl : 407 bt407-122:0(706)X1170635 88.01/88.04 conflict 106lvl : 407 bt407-9:0(994)X1170720 88.01/88.05 conflict 191lvl : 407 bt4071:0(886)X1170829 88.01/88.07 conflict 84lvl : 406 bt4061:0(992)X1171023 88.01/88.08 conflict 244lvl : 406 bt4061:0(883)X1171110 88.01/88.10 conflict 138lvl : 405 bt40569:0(692)X1171357 88.01/88.10 conflict 138lvl : 405 bt405-1:0(986)X1171498 88.11/88.11 conflict 243lvl : 405 bt40544:0(880)X1171639 88.11/88.14 conflict 191lvl : 404 bt40415:0(980)X1171885 88.11/88.17 conflict 190lvl : 403 bt4039:0(974)X1172079 88.20/88.20 conflict 189lvl : 402 bt40252:0(972)X1172272 88.30/88.33 conflict 57lvl : 399 bt399-212:0(896)X1172464 88.30/88.33 conflict 57lvl : 399 bt399-62:0(838)X1172524 88.40/88.45 conflict 57lvl : 434 bt434-461:0(617)X1172584 88.40/88.46 conflict 84lvl : 433 bt4339:0(605)X1172644 88.70/88.73 conflict 57lvl : 417 bt417-220:0(903)X1172731 88.70/88.74 conflict 84lvl : 416 bt416-860:0(593)X1172791 88.70/88.76 conflict 57lvl : 415 bt415-851:0(566)X1172878 89.80/89.90 conflict 57lvl : 416 bt416-393:0(907)X1172938 89.90/89.93 conflict 57lvl : 435 bt435-278:0(553)X1172998 90.11/90.12 conflict 57lvl : 416 bt416-272:0(588)X1173058 90.40/90.49 conflict 57lvl : 416 bt416-303:0(909)X1173118 91.70/91.70 conflict 83lvl : 433 bt433-182:0(631)X1173178 91.70/91.72 conflict 57lvl : 432 bt432-191:0(641)X1173264 91.70/91.74 conflict 84lvl : 431 bt4319:0(631)X1173324 118.50/118.52 conflict 57lvl : 435 bt435-368:0(556)X1188705 118.50/118.54 conflict 57lvl : 434 bt434-371:0(614)X1188765 118.50/118.56 conflict 84lvl : 433 bt4339:0(603)X1188825 118.70/118.77 conflict 84lvl : 420 bt42040:0(1008)X1188912 118.70/118.77 conflict 57lvl : 420 bt420-616:0(927)X1188999 118.80/118.82 conflict 57lvl : 435 bt435-248:0(549)X1189059 118.90/118.90 conflict 57lvl : 430 bt430-63:0(904)X1189119 118.90/118.90 conflict 57lvl : 430 bt430-80:0(964)X1189179 118.90/119.00 conflict 57lvl : 435 bt435-362:0(611)X1189239 119.20/119.22 conflict 57lvl : 422 bt422-603:0(895)X1189299 119.20/119.22 conflict 82lvl : 422 bt422-406:0(924)X1189359 119.40/119.45 conflict 236lvl : 423 bt423-407:0(953)X1189444 119.50/119.53 conflict 57lvl : 435 bt435-380:0(630)X1189683 119.50/119.55 conflict 138lvl : 433 bt4339:0(614)X1189743 119.70/119.74 conflict 57lvl : 422 bt422-407:0(953)X1189884 119.80/119.80 conflict 57lvl : 434 bt434-410:0(580)X1189944 119.80/119.81 conflict 84lvl : 433 bt4332:0(517)X1190004 119.90/119.95 conflict 83lvl : 422 bt422-616:0(922)X1190091 119.90/119.97 conflict 57lvl : 435 bt435-548:0(549)X1190177 120.70/120.77 conflict 84lvl : 426 bt426-458:0(644)X1190237 121.90/121.96 conflict 83lvl : 421 bt421-611:0(663)X1190324 122.11/122.17 conflict 57lvl : 425 bt425-77:0(926)X1190410 122.30/122.37 conflict 138lvl : 423 bt42334:0(944)X1190470 122.50/122.57 conflict 80lvl : 425 bt425-406:0(951)X1190611 122.90/122.97 conflict 107lvl : 425 bt425-17:0(926)X1190694 123.01/123.02 conflict 57lvl : 435 bt435-398:0(562)X1190804 123.01/123.04 conflict 137lvl : 434 bt434632:0(679)X1190864 123.01/123.06 conflict 111lvl : 433 bt433-632:0(642)X1191004 123.01/123.07 conflict 137lvl : 432 bt43211:0(609)X1191118 123.20/123.28 conflict 266lvl : 427 bt4271:0(928)X1191258 123.50/123.56 conflict 190lvl : 428 bt42846:0(925)X1191527 123.50/123.59 conflict 321lvl : 427 bt42734:0(916)X1191720 123.60/123.62 conflict 189lvl : 426 bt42646:0(908)X1192044 123.80/123.81 conflict 217lvl : 426 bt42646:0(919)X1192236 123.90/123.98 conflict 56lvl : 435 bt435-242:0(618)X1192456 124.30/124.37 conflict 318lvl : 428 bt42850:0(921)X1192515 124.50/124.57 conflict 316lvl : 427 bt42747:0(951)X1192836 125.01/125.10 conflict 57lvl : 428 bt428-50:0(921)X1193155 125.30/125.33 conflict 84lvl : 432 bt432-562:0(708)X1193215 126.11/126.19 conflict 316lvl : 428 bt42847:0(917)X1193302 126.20/126.26 conflict 57lvl : 425 bt425-394:0(727)X1193621 126.30/126.30 conflict 56lvl : 424 bt424-122:0(599)X1193681 145.11/145.17 conflict 82lvl : 430 bt430-393:0(910)X1204219 145.11/145.18 conflict 57lvl : 430 bt430-76:0(947)X1204304 145.40/145.44 conflict 138lvl : 434 bt4349:0(627)X1204364 146.01/146.08 conflict 57lvl : 433 bt433-398:0(563)X1204505 147.30/147.35 conflict 138lvl : 431 bt4319:0(626)X1204565 147.70/147.75 conflict 138lvl : 433 bt4339:0(626)X1204706 147.80/147.84 conflict 137lvl : 434 bt434-250:0(717)X1204847 147.80/147.86 conflict 136lvl : 433 bt4339:0(643)X1204987 149.01/149.03 conflict 57lvl : 428 bt428-548:0(546)X1205126 150.01/150.04 conflict 57lvl : 427 bt427-608:0(549)X1205186 150.30/150.36 conflict 57lvl : 425 bt425-800:0(614)X1205246 150.30/150.38 conflict 57lvl : 424 bt424-791:0(604)X1205306 150.40/150.40 conflict 84lvl : 423 bt4239:0(600)X1205366 150.40/150.41 conflict 82lvl : 423 bt423-429:0(1021)X1205453 150.40/150.41 conflict 57lvl : 423 bt423-430:0(917)X1205538 150.60/150.65 conflict 315lvl : 429 bt42952:0(948)X1205598 150.70/150.73 conflict 57lvl : 432 bt432-220:0(920)X1205916 150.70/150.75 conflict 84lvl : 431 bt431-20:0(608)X1205976 151.11/151.16 conflict 57lvl : 426 bt426-64:0(1013)X1206063 151.11/151.17 conflict 136lvl : 426 bt426-76:0(913)X1206123 151.20/151.23 conflict 138lvl : 434 bt4349:0(625)X1206262 151.60/151.66 conflict 315lvl : 430 bt43047:0(947)X1206403 152.11/152.15 conflict 57lvl : 429 bt429-428:0(547)X1206721 158.30/158.32 o -3705 158.40/158.47 conflict 84lvl : 430 bt43040:0(1008)X1213276 158.40/158.48 conflict 317lvl : 430 bt43048:0(913)X1213363 158.50/158.54 conflict 138lvl : 434 bt4349:0(623)X1213683 158.70/158.71 conflict 57lvl : 430 bt430-31:0(943)X1213824 158.90/158.94 conflict 316lvl : 430 bt43047:0(909)X1213884 159.20/159.20 conflict 313lvl : 430 bt43038:0(942)X1214203 159.40/159.43 conflict 312lvl : 430 bt43047:0(947)X1214519 160.40/160.44 conflict 57lvl : 428 bt428-782:0(600)X1214834 160.40/160.45 conflict 57lvl : 427 bt427-440:0(574)X1214894 160.40/160.47 conflict 84lvl : 426 bt4262:0(512)X1214954 160.50/160.55 conflict 57lvl : 419 bt419-429:0(1026)X1215041 160.60/160.65 conflict 82lvl : 432 bt432-370:0(913)X1215101 160.70/160.78 conflict 313lvl : 430 bt43047:0(942)X1215186 161.20/161.26 conflict 57lvl : 429 bt429-638:0(545)X1215502 162.60/162.63 conflict 312lvl : 430 bt43038:0(945)X1215562 162.60/162.68 conflict 57lvl : 428 bt428-158:0(548)X1215877 163.40/163.41 conflict 82lvl : 428 bt428-641:0(612)X1215937 163.40/163.42 conflict 57lvl : 427 bt427-431:0(569)X1216022 163.40/163.47 conflict 83lvl : 424 bt424-430:0(910)X1216082 164.01/164.06 conflict 57lvl : 435 bt435-242:0(616)X1216168 164.11/164.16 conflict 57lvl : 429 bt429-2:0(602)X1216228 164.90/165.00 conflict 57lvl : 429 bt429-632:0(603)X1216288 193.40/193.46 conflict 57lvl : 432 bt432-235:0(919)X1227397 193.40/193.46 conflict 57lvl : 432 bt432-17:0(957)X1227457 193.60/193.68 conflict 139lvl : 432 bt4321:0(920)X1227517 193.90/193.90 conflict 57lvl : 432 bt432-1:0(912)X1227659 194.01/194.06 conflict 57lvl : 429 bt429-8:0(557)X1227719 194.01/194.08 conflict 57lvl : 428 bt428-11:0(608)X1227779 194.01/194.09 conflict 84lvl : 427 bt42739:0(597)X1227839 194.11/194.12 conflict 57lvl : 426 bt426-64:0(1022)X1227926 194.11/194.12 conflict 57lvl : 426 bt426-52:0(923)X1227986 194.11/194.17 conflict 57lvl : 435 bt435-392:0(611)X1228046 194.20/194.21 conflict 57lvl : 432 bt432-234:0(906)X1228106 194.20/194.22 conflict 57lvl : 432 bt432-237:0(953)X1228166 194.30/194.35 conflict 312lvl : 430 bt43031:0(943)X1228226 194.40/194.44 conflict 160lvl : 432 bt432-24:0(910)X1228541 194.60/194.66 conflict 188lvl : 432 bt43240:0(900)X1228704 194.60/194.66 conflict 136lvl : 432 bt432-17:0(954)X1228895 194.80/194.82 conflict 57lvl : 429 bt429-608:0(545)X1229034 194.90/194.91 conflict 214lvl : 432 bt43233:0(907)X1229094 196.01/196.06 conflict 135lvl : 432 bt432-17:0(952)X1229311 196.20/196.24 conflict 57lvl : 428 bt428-608:0(544)X1229449 197.90/197.92 conflict 313lvl : 430 bt43047:0(954)X1229509 199.20/199.28 conflict 57lvl : 431 bt431-830:0(580)X1229825 199.20/199.29 conflict 84lvl : 430 bt43010:0(516)X1229885 199.30/199.31 conflict 57lvl : 429 bt429-640:0(916)X1229972 199.30/199.33 conflict 84lvl : 428 bt428-800:0(583)X1230032 199.30/199.34 conflict 113lvl : 427 bt42711:0(579)X1230119 199.30/199.37 conflict 57lvl : 425 bt425-791:0(576)X1230235 199.40/199.40 conflict 82lvl : 423 bt423-731:0(565)X1230295 199.50/199.53 conflict 57lvl : 414 bt414-729:0(1011)X1230380 199.50/199.54 conflict 83lvl : 414 bt414-749:0(921)X1230440 199.60/199.62 conflict 57lvl : 433 bt433-4:0(1013)X1230526 199.60/199.63 conflict 236lvl : 433 bt433-385:0(905)X1230586 199.60/199.63 conflict 109lvl : 433 bt433-16:0(923)X1230825 199.60/199.65 conflict 84lvl : 432 bt43270:0(1002)X1230937 199.60/199.66 conflict 267lvl : 432 bt432370:0(892)X1231024 199.60/199.66 conflict 290lvl : 432 bt43257:0(912)X1231294 199.60/199.68 conflict 212lvl : 431 bt431-370:0(889)X1231587 199.60/199.69 conflict 57lvl : 431 bt431-57:0(909)X1231802 199.70/199.71 conflict 57lvl : 430 bt430-244:0(1019)X1231862 199.70/199.72 conflict 258lvl : 430 bt430-256:0(930)X1231922 199.70/199.73 conflict 57lvl : 430 bt430-385:0(895)X1232183 199.70/199.74 conflict 57lvl : 430 bt430-22:0(946)X1232243 199.70/199.78 conflict 57lvl : 435 bt435-68:0(555)X1232303 199.90/199.92 conflict 57lvl : 434 bt434-401:0(637)X1232363 199.90/199.94 conflict 84lvl : 433 bt4339:0(625)X1232423 200.01/200.00 conflict 57lvl : 430 bt430-20:0(935)X1232510 200.01/200.02 conflict 57lvl : 430 bt430-40:0(594)X1232570 200.11/200.16 conflict 57lvl : 429 bt429-398:0(545)X1232630 200.11/200.18 conflict 84lvl : 429 bt429-257:0(977)X1232690 200.11/200.19 conflict 109lvl : 430 bt429-40:0(899)X1232777 200.20/200.21 conflict 57lvl : 430 bt430-7:0(687)X1232889 200.20/200.23 conflict 83lvl : 429 bt429-400:0(813)X1232949 200.80/200.89 conflict 135lvl : 431 bt431-249:0(917)X1233035 200.90/200.91 conflict 84lvl : 430 bt430-500:0(600)X1233173 200.90/200.92 conflict 140lvl : 429 bt42911:0(583)X1233260 200.90/200.96 conflict 57lvl : 426 bt426-401:0(570)X1233403 201.01/201.03 conflict 82lvl : 421 bt421-491:0(562)X1233463 201.50/201.51 conflict 134lvl : 388 bt388-309:0(995)X1233548 201.50/201.52 conflict 57lvl : 388 bt388-24:0(1010)X1233685 201.50/201.54 conflict 82lvl : 388 bt388-160:0(884)X1233745 201.50/201.57 conflict 57lvl : 387 bt387-399:0(979)X1233830 201.50/201.58 conflict 134lvl : 387 bt387-322:0(896)X1233890 201.70/201.71 conflict 57lvl : 431 bt431-219:0(912)X1234027 201.70/201.71 conflict 84lvl : 431 bt431-226:0(955)X1234087 201.80/201.80 conflict 162lvl : 433 bt433-17:0(963)X1234174 202.01/202.09 conflict 159lvl : 433 bt433-17:0(963)X1234339 202.20/202.25 conflict 57lvl : 421 bt421-820:0(903)X1234501 202.40/202.46 conflict 83lvl : 433 bt433-5:0(915)X1234561 203.40/203.49 conflict 207lvl : 389 bt389-729:0(872)X1234647 203.50/203.51 conflict 110lvl : 388 bt388219:0(670)X1234857 203.50/203.56 conflict 82lvl : 387 bt387-729:0(861)X1234970 203.50/203.57 conflict 57lvl : 387 bt387-406:0(921)X1235055 203.60/203.65 conflict 83lvl : 433 bt433-370:0(1030)X1235115 203.60/203.66 conflict 236lvl : 433 bt433-387:0(930)X1235201 203.70/203.77 conflict 84lvl : 431 bt431-249:0(1027)X1235440 203.70/203.78 conflict 57lvl : 431 bt431-226:0(930)X1235527 204.01/204.08 conflict 57lvl : 431 bt431-214:0(1027)X1235587 204.01/204.08 conflict 110lvl : 431 bt431-16:0(932)X1235647 204.11/204.15 conflict 83lvl : 434 bt434-370:0(940)X1235760 204.11/204.17 conflict 57lvl : 433 bt433-9:0(1050)X1235846 204.40/204.46 conflict 57lvl : 434 bt434-10:0(931)X1235906 204.60/204.62 conflict 57lvl : 424 bt424-652:0(935)X1235966 204.80/204.81 conflict 57lvl : 404 bt404-752:0(694)X1236026 204.80/204.82 conflict 239lvl : 404 bt404-844:0(900)X1236086 204.80/204.84 conflict 57lvl : 403 bt403-752:0(701)X1236328 204.80/204.84 conflict 57lvl : 403 bt403-66:0(850)X1236388 204.80/204.84 conflict 244lvl : 403 bt40340:0(1009)X1236448 204.80/204.85 conflict 163lvl : 403 bt403-844:0(914)X1236695 205.30/205.39 conflict 183lvl : 433 bt433-364:0(1019)X1236861 205.40/205.40 conflict 160lvl : 433 bt433-376:0(917)X1237047 205.90/205.92 conflict 80lvl : 433 bt433-387:0(952)X1237210 206.40/206.41 conflict 214lvl : 433 bt43347:0(957)X1237293 206.50/206.53 conflict 80lvl : 431 bt431-256:0(964)X1237510 206.50/206.56 conflict 57lvl : 435 bt435-161:0(593)X1237593 206.60/206.64 conflict 57lvl : 429 bt429-131:0(576)X1237653 206.90/207.00 conflict 239lvl : 431 bt43147:0(957)X1237713 207.11/207.15 conflict 57lvl : 428 bt428-398:0(546)X1237955 207.90/207.95 conflict 57lvl : 431 bt431-9:0(925)X1238015 207.90/207.98 conflict 57lvl : 435 bt435-161:0(594)X1238075 208.01/208.06 conflict 57lvl : 429 bt429-71:0(577)X1238135 275.71/275.71 conflict 57lvl : 435 bt435-368:0(558)X1257384 275.71/275.72 conflict 57lvl : 434 bt434-362:0(611)X1257444 275.71/275.74 conflict 82lvl : 433 bt433-371:0(616)X1257504 275.71/275.75 conflict 57lvl : 433 bt433-393:0(918)X1257589 275.71/275.75 conflict 166lvl : 433 bt43334:0(962)X1257649 275.91/275.99 conflict 57lvl : 431 bt431-370:0(918)X1257818 275.91/276.00 conflict 84lvl : 430 bt430-470:0(589)X1257878 276.02/276.02 conflict 139lvl : 429 bt42911:0(581)X1257965 276.02/276.04 conflict 82lvl : 427 bt427-461:0(578)X1258107 276.02/276.08 conflict 57lvl : 424 bt424-611:0(565)X1258192 276.21/276.24 conflict 134lvl : 413 bt413-99:0(1020)X1258252 276.41/276.44 conflict 83lvl : 433 bt433-790:0(914)X1258389 276.91/276.90 conflict 57lvl : 435 bt435-728:0(551)X1258475 277.12/277.15 conflict 83lvl : 433 bt433-796:0(962)X1258535 277.51/277.59 conflict 212lvl : 433 bt43341:0(959)X1258621 277.81/277.86 conflict 83lvl : 433 bt433-783:0(914)X1258836 277.81/277.86 conflict 83lvl : 433 bt433-376:0(951)X1258922 278.02/278.05 conflict 57lvl : 435 bt435-788:0(553)X1259008 278.21/278.28 conflict 82lvl : 433 bt433-791:0(622)X1259068 278.21/278.29 conflict 82lvl : 432 bt432-401:0(575)X1259153 278.41/278.49 conflict 83lvl : 419 bt419-400:0(906)X1259238 278.51/278.50 conflict 84lvl : 418 bt418-350:0(581)X1259324 278.51/278.51 conflict 57lvl : 417 bt417-341:0(568)X1259411 278.61/278.60 conflict 57lvl : 411 bt411-461:0(553)X1259471 278.61/278.66 conflict 57lvl : 407 bt407-369:0(1014)X1259531 278.71/278.73 conflict 57lvl : 433 bt433-363:0(913)X1259591 278.71/278.74 conflict 211lvl : 433 bt43341:0(948)X1259651 279.12/279.13 conflict 57lvl : 420 bt420-394:0(1008)X1259865 279.12/279.13 conflict 84lvl : 420 bt420-430:0(895)X1259925 279.12/279.13 conflict 83lvl : 420 bt420-406:0(925)X1260012 279.12/279.15 conflict 82lvl : 419 bt419-404:0(693)X1260098 279.12/279.15 conflict 84lvl : 419 bt41940:0(998)X1260183 279.12/279.16 conflict 57lvl : 419 bt419-400:0(884)X1260270 279.12/279.16 conflict 138lvl : 419 bt41910:0(904)X1260330 279.12/279.18 conflict 82lvl : 418 bt418-406:0(689)X1260471 279.12/279.19 conflict 137lvl : 418 bt41844:0(901)X1260556 279.21/279.28 conflict 82lvl : 415 bt415-249:0(1016)X1260696 279.41/279.48 conflict 57lvl : 433 bt433-370:0(919)X1260781 279.81/279.89 conflict 110lvl : 420 bt420-406:0(941)X1260841 279.91/279.92 conflict 137lvl : 419 bt41950:0(933)X1260954 279.91/279.95 conflict 134lvl : 418 bt418-17:0(928)X1261094 279.91/279.98 conflict 161lvl : 417 bt41740:0(925)X1261231 280.02/280.01 conflict 83lvl : 416 bt416-250:0(896)X1261395 280.21/280.22 conflict 138lvl : 433 bt43325:0(927)X1261481 280.91/280.96 conflict 138lvl : 433 bt4331:0(920)X1261622 281.31/281.37 conflict 160lvl : 420 bt42074:0(932)X1261763 281.41/281.49 conflict 83lvl : 416 bt416-400:0(897)X1261926 281.51/281.52 conflict 57lvl : 435 bt435-758:0(553)X1262012 282.21/282.28 conflict 110lvl : 416 bt416429:0(1016)X1262072 282.41/282.48 conflict 137lvl : 433 bt4331:0(917)X1262185 282.91/283.00 conflict 83lvl : 416 bt416-17:0(968)X1262325 283.71/283.74 conflict 83lvl : 417 bt417-414:0(965)X1262411 283.71/283.75 conflict 57lvl : 417 bt417-404:0(954)X1262497 283.71/283.75 conflict 83lvl : 416 bt416-256:0(925)X1262557 283.71/283.77 conflict 57lvl : 416 bt416-256:0(962)X1262643 283.71/283.79 conflict 57lvl : 435 bt435-98:0(551)X1262703 283.81/283.89 conflict 56lvl : 425 bt425-92:0(595)X1262763 284.12/284.15 conflict 57lvl : 435 bt435-728:0(577)X1262822 284.12/284.18 conflict 56lvl : 432 bt432-722:0(628)X1262882 284.31/284.30 conflict 57lvl : 435 bt435-398:0(603)X1262941 285.02/285.06 conflict 221lvl : 421 bt4213:0(902)X1263001 285.02/285.09 conflict 220lvl : 420 bt4201:0(890)X1263225 285.21/285.22 conflict 84lvl : 415 bt415-710:0(582)X1263448 285.21/285.23 conflict 57lvl : 414 bt414-701:0(567)X1263535 285.21/285.26 conflict 57lvl : 412 bt412-461:0(555)X1263595 285.61/285.66 conflict 57lvl : 385 bt385-219:0(992)X1263655 286.12/286.14 conflict 57lvl : 421 bt421-436:0(940)X1263715 286.12/286.16 conflict 57lvl : 420 bt420-796:0(702)X1263775 286.12/286.17 conflict 213lvl : 420 bt420-17:0(922)X1263835 286.12/286.19 conflict 137lvl : 419 bt419410:0(710)X1264051 286.21/286.22 conflict 57lvl : 418 bt418-794:0(701)X1264191 286.21/286.24 conflict 238lvl : 418 bt41831:0(917)X1264251 286.21/286.25 conflict 83lvl : 417 bt417-434:0(691)X1264492 286.21/286.28 conflict 138lvl : 416 bt41616:0(691)X1264578 286.31/286.30 conflict 83lvl : 416 bt416-250:0(890)X1264719 286.31/286.32 conflict 84lvl : 415 bt415-200:0(587)X1264805 286.31/286.33 conflict 113lvl : 414 bt41411:0(566)X1264892 286.31/286.34 conflict 57lvl : 413 bt413-191:0(564)X1265008 287.41/287.45 conflict 135lvl : 416 bt416430:0(890)X1265068 287.41/287.46 conflict 137lvl : 415 bt41511:0(566)X1265206 288.51/288.54 conflict 263lvl : 418 bt41847:0(919)X1265346 288.61/288.60 conflict 83lvl : 416 bt416-430:0(887)X1265612 290.12/290.15 conflict 57lvl : 435 bt435-758:0(556)X1265698 290.41/290.44 conflict 57lvl : 434 bt434-611:0(619)X1265758 290.41/290.45 conflict 82lvl : 433 bt433-641:0(607)X1265818 290.41/290.47 conflict 57lvl : 432 bt432-611:0(575)X1265903 290.51/290.52 conflict 83lvl : 429 bt429-849:0(920)X1265963 290.51/290.53 conflict 84lvl : 428 bt428-200:0(604)X1266049 291.12/291.11 conflict 57lvl : 435 bt435-458:0(551)X1266136 291.12/291.18 conflict 56lvl : 429 bt429-452:0(600)X1266196 291.21/291.20 conflict 57lvl : 427 bt427-452:0(598)X1266255 292.21/292.21 conflict 57lvl : 435 bt435-618:0(578)X1266315 292.21/292.25 conflict 82lvl : 433 bt433-788:0(586)X1266375 292.41/292.42 conflict 80lvl : 420 bt420-431:0(611)X1266460 295.12/295.12 conflict 107lvl : 419 bt419-788:0(615)X1266543 463.53/463.50 conflict 57lvl : 433 bt433-758:0(549)X1287332 464.73/464.71 conflict 57lvl : 432 bt432-758:0(548)X1287392 464.93/464.91 conflict 57lvl : 433 bt433-731:0(616)X1287452 464.93/464.93 conflict 84lvl : 432 bt4329:0(606)X1287512 466.03/466.02 conflict 134lvl : 366 bt366-579:0(973)X1287599 466.03/466.03 conflict 84lvl : 366 bt366101:0(960)X1287736 466.03/466.09 conflict 57lvl : 365 bt365-609:0(955)X1287823 466.03/466.09 conflict 83lvl : 365 bt365-579:0(827)X1287883 466.03/466.10 conflict 134lvl : 365 bt365-592:0(869)X1287969 466.14/466.18 conflict 57lvl : 434 bt434-71:0(623)X1288106 466.23/466.20 conflict 84lvl : 433 bt4339:0(612)X1288166 466.23/466.29 conflict 57lvl : 428 bt428-16:0(957)X1288253 467.83/467.80 conflict 163lvl : 365 bt36534:0(882)X1288313 467.83/467.89 conflict 57lvl : 435 bt435-80:0(628)X1288479 468.04/468.08 conflict 111lvl : 435 bt43511:0(617)X1288539 468.43/468.40 conflict 57lvl : 427 bt427-212:0(598)X1288653 469.04/469.09 conflict 109lvl : 435 bt435-82:0(681)X1288713 469.14/469.16 conflict 136lvl : 435 bt435607:0(663)X1288825 469.63/469.64 conflict 136lvl : 435 bt4354:0(661)X1288964 469.83/469.88 conflict 82lvl : 433 bt433-758:0(603)X1289103 470.83/470.89 conflict 84lvl : 435 bt435-730:0(667)X1289188 475.33/475.36 conflict 57lvl : 431 bt431-818:0(571)X1289275 475.43/475.47 conflict 83lvl : 429 bt429-92:0(627)X1289335 475.43/475.48 conflict 57lvl : 428 bt428-101:0(630)X1289421 475.53/475.50 conflict 84lvl : 427 bt4279:0(611)X1289481 475.53/475.55 conflict 84lvl : 424 bt42440:0(1012)X1289568 475.53/475.58 conflict 57lvl : 423 bt423-106:0(736)X1289655 475.63/475.61 conflict 82lvl : 422 bt422-226:0(697)X1289715 475.73/475.70 conflict 57lvl : 419 bt419-80:0(892)X1289800 475.73/475.71 conflict 137lvl : 419 bt41940:0(917)X1289860 477.03/477.07 conflict 190lvl : 367 bt36716:0(963)X1290000 477.14/477.14 conflict 56lvl : 435 bt435-62:0(612)X1290193 477.23/477.24 conflict 57lvl : 428 bt428-93:0(910)X1290252 477.53/477.59 conflict 57lvl : 427 bt427-488:0(548)X1290312 477.63/477.60 conflict 57lvl : 426 bt426-491:0(605)X1290372 477.63/477.62 conflict 84lvl : 425 bt4259:0(595)X1290432 477.83/477.82 conflict 183lvl : 413 bt413-304:0(1009)X1290519 477.83/477.82 conflict 82lvl : 413 bt413-322:0(897)X1290705 477.93/477.98 conflict 57lvl : 428 bt428-114:0(912)X1290790 478.04/478.07 conflict 111lvl : 435 bt43511:0(621)X1290850 478.14/478.18 conflict 57lvl : 428 bt428-17:0(985)X1290964 478.23/478.28 conflict 164lvl : 433 bt433221:0(646)X1291024 478.33/478.39 conflict 57lvl : 435 bt435-161:0(592)X1291191 478.73/478.70 conflict 85lvl : 428 bt42836:0(910)X1291251 479.23/479.28 conflict 83lvl : 413 bt413-232:0(892)X1291339 479.33/479.31 conflict 57lvl : 412 bt412-4:0(995)X1291425 479.33/479.31 conflict 207lvl : 412 bt412-322:0(876)X1291485 479.33/479.32 conflict 236lvl : 412 bt412-316:0(908)X1291695 479.43/479.40 conflict 111lvl : 435 bt43511:0(617)X1291934 480.14/480.11 conflict 57lvl : 426 bt426-230:0(629)X1292048 481.83/481.85 conflict 84lvl : 435 bt435-230:0(673)X1292108 482.33/482.38 conflict 83lvl : 435 bt435-170:0(651)X1292195 482.33/482.39 conflict 110lvl : 434 bt43411:0(620)X1292281 482.53/482.51 conflict 109lvl : 426 bt42611:0(578)X1292394 482.93/482.96 conflict 57lvl : 397 bt397-76:0(927)X1292506 482.93/482.97 conflict 159lvl : 397 bt397-316:0(624)X1292566 483.04/483.01 conflict 181lvl : 395 bt395-164:0(709)X1292728 483.04/483.08 conflict 106lvl : 393 bt393-314:0(697)X1292912 483.14/483.15 conflict 210lvl : 391 bt391-164:0(687)X1293021 483.23/483.22 conflict 209lvl : 389 bt389-164:0(674)X1293234 483.93/483.99 conflict 111lvl : 435 bt43511:0(620)X1293446 484.04/484.09 conflict 84lvl : 428 bt428144:0(962)X1293560 485.23/485.24 conflict 80lvl : 399 bt399-316:0(948)X1293647 485.23/485.26 conflict 57lvl : 399 bt399-69:0(590)X1293730 487.63/487.62 conflict 181lvl : 400 bt400-174:0(921)X1293790 487.73/487.71 conflict 106lvl : 398 bt397-309:0(573)X1293974 487.73/487.73 conflict 83lvl : 397 bt397-176:0(572)X1294083 487.73/487.73 conflict 238lvl : 396 bt3964:0(677)X1294169 488.63/488.65 conflict 57lvl : 366 bt366-69:0(953)X1294410 488.73/488.74 conflict 111lvl : 435 bt43511:0(616)X1294470 489.23/489.25 conflict 57lvl : 426 bt426-590:0(576)X1294584 489.53/489.54 conflict 138lvl : 434 bt434461:0(663)X1294644 489.83/489.86 conflict 137lvl : 418 bt418461:0(625)X1294785 490.04/490.03 conflict 57lvl : 428 bt428-256:0(950)X1294925 490.33/490.34 conflict 135lvl : 428 bt428-17:0(947)X1294985 490.33/490.38 conflict 84lvl : 426 bt4262:0(517)X1295123 492.23/492.28 conflict 83lvl : 433 bt433-761:0(662)X1295210 492.83/492.81 conflict 82lvl : 433 bt433-780:0(685)X1295296 493.63/493.67 conflict 190lvl : 428 bt42831:0(950)X1295381 493.93/493.94 conflict 110lvl : 433 bt433-761:0(713)X1295574 494.23/494.25 conflict 57lvl : 428 bt428-31:0(946)X1295687 495.23/495.28 conflict 57lvl : 428 bt428-38:0(931)X1295747 495.33/495.30 conflict 56lvl : 427 bt427-482:0(606)X1295807 495.53/495.52 conflict 57lvl : 414 bt414-232:0(892)X1295866 495.53/495.53 conflict 57lvl : 414 bt414-226:0(935)X1295926 495.73/495.72 conflict 139lvl : 433 bt4339:0(620)X1295986 495.83/495.86 conflict 111lvl : 435 bt43511:0(620)X1296128 495.93/495.97 conflict 57lvl : 428 bt428-17:0(970)X1296242 496.53/496.51 conflict 84lvl : 428 bt428126:0(971)X1296302 497.43/497.42 conflict 57lvl : 416 bt416-22:0(891)X1296389 497.63/497.61 conflict 111lvl : 433 bt4339:0(628)X1296449 499.73/499.71 conflict 111lvl : 418 bt41836:0(900)X1296563 499.73/499.74 conflict 57lvl : 417 bt417-47:0(941)X1296677 499.73/499.77 conflict 84lvl : 416 bt41674:0(936)X1296737 500.04/500.05 conflict 108lvl : 430 bt430-826:0(948)X1296824 500.33/500.30 conflict 267lvl : 430 bt43041:0(946)X1296935 500.43/500.48 conflict 57lvl : 434 bt434-752:0(618)X1297205 500.53/500.55 conflict 83lvl : 430 bt430-813:0(920)X1297265 500.53/500.55 conflict 57lvl : 430 bt430-50:0(946)X1297351 500.83/500.82 conflict 108lvl : 430 bt430-815:0(911)X1297411 500.83/500.86 conflict 57lvl : 435 bt435-380:0(628)X1297522 500.93/500.92 conflict 84lvl : 433 bt433-754:0(746)X1297582 501.43/501.41 conflict 132lvl : 430 bt430-365:0(918)X1297669 501.63/501.67 conflict 212lvl : 430 bt43020:0(918)X1297804 502.33/502.31 conflict 83lvl : 399 bt399-82:0(882)X1298019 502.33/502.31 conflict 293lvl : 399 bt3991:0(930)X1298105 502.33/502.34 conflict 235lvl : 398 bt398-322:0(866)X1298401 502.33/502.34 conflict 235lvl : 398 bt398-317:0(916)X1298639 502.33/502.37 conflict 57lvl : 397 bt397-82:0(864)X1298877 502.33/502.37 conflict 291lvl : 397 bt39744:0(912)X1298937 502.43/502.40 conflict 57lvl : 396 bt396-82:0(860)X1299231 503.14/503.18 conflict 108lvl : 371 bt371-70:0(846)X1299291 503.14/503.19 conflict 112lvl : 371 bt37114:0(902)X1299402 503.53/503.59 conflict 57lvl : 430 bt430-20:0(916)X1299517 533.43/533.40 conflict 57lvl : 106 bt106-53:0(1464)X1314945 533.43/533.40 conflict 57lvl : 107 bt107-627:0(1589)X1315005 533.43/533.40 -> -627:X(1589)conflict 57lvl : 119 bt119-53:0(1586)X1315065 641.15/641.15 conflict 57lvl : 106 bt106-716:0(1456)X1324601 641.15/641.15 conflict 57lvl : 107 bt107-353:0(1580)X1324661 641.15/641.15 conflict 57lvl : 107 bt107-353:0(1580)X1324721 641.15/641.15 conflict 84lvl : 107 bt107708:0(1454)X1324781 641.15/641.15 conflict 84lvl : 106 bt106708:0(1455)X1324868 641.15/641.15 conflict 57lvl : 106 bt106-566:0(1581)X1324955 641.15/641.15 conflict 57lvl : 106 bt106-566:0(1595)X1325015 641.15/641.15 conflict 83lvl : 106 bt106-716:0(1453)X1325075 641.15/641.15 conflict 83lvl : 105 bt105-719:0(1454)X1325161 641.15/641.15 conflict 57lvl : 119 bt119-713:0(1580)X1325247 729.16/729.13 o -3703 729.16/729.13 c 11 calls to solver: best=-3703 lower=-3702 upper=0 729.45/729.42 conflict 57lvl : 422 bt422-574:0(1010)X1328688 729.45/729.42 conflict 82lvl : 422 bt422-586:0(923)X1328748 729.65/729.69 conflict 192lvl : 422 bt42246:0(943)X1328833 729.95/729.94 conflict 84lvl : 422 bt42240:0(1001)X1329028 729.95/729.95 conflict 83lvl : 422 bt422-584:0(914)X1329115 729.95/729.97 conflict 57lvl : 421 bt421-548:0(537)X1329201 730.55/730.51 conflict 110lvl : 422 bt422-46:0(938)X1329261 731.06/731.06 conflict 57lvl : 422 bt422-573:0(897)X1329374 731.35/731.33 conflict 190lvl : 422 bt42247:0(939)X1329434 731.65/731.65 conflict 57lvl : 420 bt420-782:0(594)X1329627 731.65/731.67 conflict 82lvl : 419 bt419-791:0(598)X1329687 731.65/731.68 conflict 57lvl : 419 bt419-274:0(1017)X1329772 731.65/731.68 conflict 57lvl : 419 bt419-610:0(929)X1329832 731.75/731.70 conflict 107lvl : 418 bt418-884:0(697)X1329892 731.75/731.72 conflict 82lvl : 417 bt417-881:0(590)X1330002 731.75/731.73 conflict 57lvl : 416 bt416-611:0(557)X1330087 732.35/732.39 conflict 158lvl : 372 bt372-648:0(975)X1330147 732.45/732.40 conflict 57lvl : 372 bt372-610:0(877)X1330308 732.65/732.67 conflict 57lvl : 422 bt422-603:0(903)X1330368 732.65/732.67 conflict 192lvl : 422 bt42234:0(943)X1330428 733.25/733.25 conflict 82lvl : 420 bt420-611:0(568)X1330623 733.25/733.26 conflict 83lvl : 420 bt420-280:0(902)X1330708 740.75/740.79 conflict 83lvl : 422 bt422-10:0(938)X1330794 742.55/742.50 conflict 110lvl : 422 bt42274:0(940)X1330880 742.85/742.89 conflict 57lvl : 417 bt417-214:0(719)X1330993 742.95/742.90 conflict 209lvl : 417 bt417-40:0(891)X1331053 745.55/745.56 conflict 82lvl : 418 bt418-544:0(719)X1331265 745.55/745.57 conflict 57lvl : 418 bt418-220:0(908)X1331350 745.55/745.57 conflict 297lvl : 418 bt41894:0(917)X1331410 748.25/748.26 conflict 83lvl : 418 bt418-226:0(924)X1331710 749.16/749.12 conflict 57lvl : 420 bt420-273:0(910)X1331796 750.95/750.92 conflict 297lvl : 418 bt418101:0(915)X1331856 750.95/750.95 conflict 57lvl : 417 bt417-452:0(587)X1332156 751.06/751.02 conflict 57lvl : 413 bt413-610:0(900)X1332216 751.85/751.88 conflict 57lvl : 420 bt420-603:0(905)X1332276 751.85/751.89 conflict 83lvl : 420 bt420-286:0(946)X1332336 753.25/753.30 conflict 57lvl : 422 bt422-40:0(939)X1332422 753.65/753.62 conflict 137lvl : 420 bt420286:0(947)X1332482 753.65/753.68 conflict 296lvl : 418 bt418101:0(911)X1332622 754.25/754.22 conflict 189lvl : 422 bt42247:0(937)X1332921 754.55/754.54 conflict 190lvl : 420 bt42047:0(941)X1333113 756.35/756.33 conflict 297lvl : 418 bt418101:0(916)X1333306 756.65/756.60 conflict 187lvl : 422 bt42247:0(935)X1333606 758.95/758.98 conflict 324lvl : 418 bt418101:0(963)X1333796 759.06/759.08 conflict 83lvl : 413 bt413-700:0(899)X1334123 759.06/759.08 conflict 83lvl : 413 bt413-706:0(939)X1334209 759.95/759.94 conflict 84lvl : 420 bt420-616:0(943)X1334295 761.65/761.66 conflict 189lvl : 420 bt42034:0(943)X1334382 761.75/761.71 conflict 83lvl : 418 bt418-38:0(930)X1334574 764.36/764.31 conflict 189lvl : 420 bt42047:0(942)X1334660 765.26/765.22 conflict 265lvl : 420 bt42040:0(934)X1334852 766.96/766.99 conflict 213lvl : 418 bt41838:0(925)X1335120 767.06/767.07 conflict 57lvl : 414 bt414-693:0(896)X1335336 767.06/767.08 conflict 57lvl : 414 bt414-616:0(937)X1335396 769.76/769.74 conflict 343lvl : 418 bt418107:0(911)X1335456 775.06/775.08 conflict 342lvl : 418 bt418112:0(911)X1335802 777.76/777.79 conflict 83lvl : 418 bt418-38:0(924)X1336147 783.07/783.07 conflict 212lvl : 418 bt41838:0(924)X1336233 783.17/783.15 conflict 57lvl : 414 bt414-616:0(935)X1336448 783.17/783.18 conflict 57lvl : 413 bt413-182:0(585)X1336508 785.86/785.88 conflict 82lvl : 418 bt418-214:0(717)X1336568 785.86/785.89 conflict 84lvl : 418 bt418-38:0(921)X1336653 788.56/788.54 conflict 291lvl : 418 bt41866:0(880)X1336740 791.17/791.19 conflict 110lvl : 418 bt41877:0(919)X1337034 950.68/950.61 conflict 57lvl : 421 bt421-575:0(894)X1355124 950.68/950.66 conflict 57lvl : 419 bt419-794:0(720)X1355184 950.68/950.67 conflict 57lvl : 419 bt419-616:0(913)X1355244 950.98/950.96 conflict 57lvl : 421 bt421-605:0(903)X1355304 951.28/951.25 conflict 84lvl : 421 bt42120:0(901)X1355364 951.58/951.53 conflict 138lvl : 421 bt4215:0(902)X1355451 951.88/951.84 conflict 83lvl : 421 bt42124:0(901)X1355592 951.88/951.88 conflict 135lvl : 419 bt419-274:0(723)X1355678 952.19/952.18 conflict 137lvl : 421 bt4215:0(892)X1355816 952.48/952.47 conflict 136lvl : 421 bt4215:0(891)X1355956 952.78/952.75 conflict 163lvl : 421 bt42133:0(887)X1356095 953.09/953.05 conflict 162lvl : 421 bt42133:0(886)X1356261 953.19/953.11 conflict 110lvl : 419 bt419-16:0(908)X1356426 953.19/953.14 conflict 57lvl : 418 bt418-338:0(534)X1356539 954.38/954.35 conflict 57lvl : 419 bt419-791:0(666)X1356599 954.48/954.42 conflict 137lvl : 417 bt41744:0(900)X1356659 955.68/955.63 conflict 84lvl : 419 bt419-611:0(615)X1356799 956.88/956.85 conflict 138lvl : 419 bt4199:0(618)X1356886 956.88/956.89 conflict 265lvl : 418 bt41831:0(926)X1357027 961.88/961.88 conflict 57lvl : 416 bt416-341:0(600)X1357295 961.98/961.90 conflict 84lvl : 415 bt4159:0(587)X1357355 962.09/962.01 conflict 83lvl : 409 bt409-190:0(896)X1357442 963.28/963.23 conflict 134lvl : 419 bt419-31:0(926)X1357528 965.88/965.85 conflict 112lvl : 410 bt4109:0(901)X1357665 973.09/973.05 conflict 57lvl : 435 bt435-578:0(557)X1357780 973.78/973.76 conflict 82lvl : 431 bt431-17:0(938)X1357840 974.98/974.99 conflict 82lvl : 432 bt432-10:0(929)X1357925 977.19/977.15 conflict 57lvl : 431 bt431-730:0(925)X1358010 977.98/977.96 conflict 83lvl : 431 bt431-77:0(927)X1358070 978.78/978.73 conflict 57lvl : 418 bt418-332:0(596)X1358156 978.88/978.87 conflict 57lvl : 410 bt410-423:0(900)X1358216 980.58/980.58 conflict 110lvl : 419 bt419-47:0(928)X1358276 982.28/982.28 conflict 136lvl : 419 bt41976:0(928)X1358389 982.38/982.31 conflict 135lvl : 418 bt41876:0(919)X1358528 986.28/986.27 conflict 136lvl : 432 bt432112:0(941)X1358666 986.68/986.68 conflict 264lvl : 431 bt43191:0(931)X1358805 989.39/989.30 conflict 108lvl : 410 bt410-425:0(890)X1359072 989.39/989.36 conflict 82lvl : 408 bt408-190:0(882)X1359183 991.09/991.06 conflict 265lvl : 419 bt41947:0(926)X1359268 992.89/992.89 conflict 189lvl : 431 bt431112:0(976)X1359536 1004.89/1004.89 conflict 57lvl : 435 bt435-710:0(652)X1359728 1004.99/1004.91 conflict 111lvl : 434 bt43411:0(621)X1359788 1004.99/1004.96 conflict 84lvl : 430 bt430-311:0(605)X1359902 1005.10/1005.09 conflict 57lvl : 419 bt419-303:0(892)X1359989 1005.10/1005.09 conflict 57lvl : 419 bt419-466:0(938)X1360049 1008.69/1008.64 conflict 317lvl : 431 bt431107:0(979)X1360109 1011.10/1011.06 conflict 57lvl : 431 bt431-692:0(632)X1360429 1011.10/1011.08 conflict 112lvl : 430 bt430311:0(640)X1360489 1011.10/1011.09 conflict 83lvl : 429 bt429-311:0(591)X1360604 1011.29/1011.25 conflict 136lvl : 418 bt418470:0(607)X1360690 1011.29/1011.28 conflict 136lvl : 417 bt417311:0(601)X1360829 1011.29/1011.29 conflict 57lvl : 416 bt416-453:0(888)X1360968 1011.29/1011.29 conflict 163lvl : 416 bt416-17:0(926)X1361028 1011.39/1011.31 conflict 135lvl : 415 bt4159:0(583)X1361194 1011.39/1011.37 conflict 57lvl : 413 bt413-31:0(920)X1361332 1011.49/1011.45 conflict 162lvl : 410 bt410-17:0(917)X1361392 1011.59/1011.53 conflict 57lvl : 407 bt407-316:0(914)X1361557 1011.59/1011.56 conflict 187lvl : 406 bt406-17:0(908)X1361617 1012.20/1012.16 conflict 57lvl : 384 bt384-309:0(983)X1361807 1012.29/1012.26 conflict 83lvl : 431 bt431-40:0(918)X1361867 1012.29/1012.28 conflict 84lvl : 430 bt430-650:0(595)X1361953 1012.29/1012.29 conflict 139lvl : 429 bt42911:0(581)X1362040 1012.39/1012.30 conflict 82lvl : 428 bt428-641:0(579)X1362182 1012.69/1012.64 conflict 57lvl : 431 bt431-730:0(922)X1362267 1013.20/1013.16 conflict 57lvl : 431 bt431-40:0(929)X1362327 1015.69/1015.60 conflict 57lvl : 420 bt420-698:0(539)X1362387 1016.59/1016.54 conflict 157lvl : 383 bt383-459:0(974)X1362447 1017.59/1017.58 conflict 187lvl : 421 bt42174:0(935)X1362607 1017.99/1017.98 conflict 241lvl : 421 bt42147:0(949)X1362797 1018.49/1018.44 conflict 57lvl : 435 bt435-800:0(628)X1363041 1019.99/1019.93 conflict 57lvl : 419 bt419-454:0(1016)X1363101 1019.99/1019.94 conflict 139lvl : 419 bt4191:0(918)X1363161 1019.99/1019.95 conflict 84lvl : 418 bt41840:0(997)X1363303 1019.99/1019.96 conflict 57lvl : 418 bt418-1:0(903)X1363390 1019.99/1019.99 conflict 137lvl : 417 bt41744:0(900)X1363450 1021.10/1021.06 conflict 57lvl : 377 bt377-212:0(898)X1363590 1024.29/1024.26 conflict 188lvl : 419 bt41931:0(938)X1363650 1024.29/1024.29 conflict 187lvl : 418 bt41831:0(925)X1363841 1024.39/1024.31 conflict 83lvl : 417 bt417-31:0(922)X1364031 1025.39/1025.35 conflict 57lvl : 379 bt379-16:0(889)X1364117 1025.39/1025.38 conflict 187lvl : 378 bt37831:0(884)X1364177 1025.49/1025.41 conflict 82lvl : 377 bt377-220:0(857)X1364367 1025.49/1025.42 conflict 57lvl : 377 bt377-466:0(916)X1364452 1031.49/1031.40 conflict 83lvl : 377 bt377-329:0(825)X1364512 1033.69/1033.62 conflict 83lvl : 377 bt377-239:0(823)X1364598 1036.10/1036.01 conflict 136lvl : 377 bt377-302:0(896)X1364684 1036.10/1036.07 conflict 57lvl : 376 bt376-623:0(711)X1364823 1038.59/1038.53 conflict 131lvl : 377 bt377-216:0(809)X1364883 1038.59/1038.54 conflict 57lvl : 376 bt376-22:0(943)X1365017 1040.99/1040.91 conflict 161lvl : 377 bt377-310:0(859)X1365077 1040.99/1040.92 conflict 83lvl : 377 bt377-17:0(918)X1365241 1043.39/1043.33 conflict 164lvl : 377 bt377306:0(884)X1365327 1493.73/1493.60 conflict 57lvl : 435 bt435-308:0(551)X1386198 1493.83/1493.73 conflict 57lvl : 434 bt434-308:0(555)X1386258 1494.24/1494.14 conflict 57lvl : 433 bt433-152:0(604)X1386318 1494.24/1494.15 conflict 111lvl : 432 bt432-159:0(612)X1386378 1495.24/1495.13 conflict 157lvl : 373 bt373-39:0(979)X1386492 1495.24/1495.13 conflict 83lvl : 373 bt373-39:0(960)X1386652 1495.24/1495.14 conflict 57lvl : 373 bt373-40:0(860)X1386738 1495.24/1495.15 conflict 163lvl : 373 bt373-52:0(890)X1386798 1495.83/1495.72 conflict 57lvl : 433 bt433-878:0(549)X1386964 1496.83/1496.72 conflict 57lvl : 365 bt365-609:0(972)X1387024 1496.83/1496.74 conflict 57lvl : 365 bt365-40:0(852)X1387084 1496.83/1496.74 conflict 185lvl : 365 bt365-160:0(862)X1387144 1498.33/1498.28 conflict 133lvl : 365 bt365-849:0(840)X1387332 1498.33/1498.28 conflict 57lvl : 365 bt365-616:0(866)X1387468 1499.54/1499.47 conflict 82lvl : 373 bt373-309:0(972)X1387528 1499.54/1499.47 conflict 57lvl : 373 bt373-310:0(848)X1387613 1499.54/1499.48 conflict 131lvl : 373 bt373-322:0(867)X1387673 1500.73/1500.68 conflict 57lvl : 365 bt365-603:0(840)X1387807 1500.73/1500.69 conflict 82lvl : 365 bt365-856:0(864)X1387867 1501.93/1501.84 conflict 57lvl : 365 bt365-615:0(952)X1387952 1501.93/1501.84 conflict 190lvl : 365 bt36520:0(829)X1388012 1501.93/1501.89 conflict 57lvl : 363 bt363-364:0(660)X1388205 1502.03/1501.90 conflict 107lvl : 363 bt363-369:0(962)X1388265 1502.03/1501.91 conflict 84lvl : 363 bt3639:0(820)X1388375 1502.03/1501.92 conflict 57lvl : 363 bt363-52:0(871)X1388462 1502.03/1501.99 conflict 57lvl : 434 bt434-311:0(615)X1388522 1502.14/1502.01 conflict 84lvl : 433 bt4339:0(603)X1388582 1502.14/1502.02 conflict 57lvl : 433 bt433-694:0(1028)X1388669 1502.14/1502.02 conflict 57lvl : 433 bt433-706:0(938)X1388729 1503.33/1503.20 conflict 57lvl : 365 bt365-844:0(961)X1388789 1503.33/1503.21 conflict 82lvl : 365 bt365-843:0(842)X1388849 1503.33/1503.21 conflict 82lvl : 365 bt365-854:0(860)X1388934 1503.43/1503.31 conflict 57lvl : 433 bt433-699:0(923)X1389019 1503.43/1503.32 conflict 84lvl : 432 bt432-770:0(588)X1389079 1503.43/1503.33 conflict 57lvl : 431 bt431-761:0(584)X1389166 1504.14/1504.09 conflict 83lvl : 433 bt433-489:0(926)X1389226 1505.43/1505.30 conflict 112lvl : 365 bt3651:0(841)X1389312 1505.43/1505.33 conflict 165lvl : 364 bt36440:0(945)X1389427 1505.43/1505.34 conflict 163lvl : 364 bt3645:0(819)X1389595 1505.53/1505.44 conflict 163lvl : 433 bt433-17:0(953)X1389761 1506.73/1506.64 conflict 162lvl : 365 bt36520:0(840)X1389927 1506.73/1506.64 conflict 83lvl : 365 bt365-856:0(890)X1390092 1508.03/1507.94 conflict 161lvl : 365 bt3655:0(839)X1390178 1508.03/1507.98 conflict 157lvl : 364 bt364-849:0(821)X1390342 1508.03/1507.98 conflict 137lvl : 364 bt364856:0(877)X1390502 1508.14/1508.07 conflict 84lvl : 433 bt43340:0(1022)X1390642 1508.14/1508.08 conflict 139lvl : 433 bt4331:0(933)X1390729 1509.33/1509.26 conflict 84lvl : 365 bt36540:0(952)X1390871 1509.33/1509.26 conflict 161lvl : 365 bt36539:0(827)X1390958 1510.73/1510.63 conflict 57lvl : 363 bt363-323:0(619)X1391122 1510.83/1510.78 conflict 57lvl : 435 bt435-302:0(609)X1391182 1510.93/1510.82 conflict 57lvl : 433 bt433-693:0(906)X1391242 1510.93/1510.82 conflict 83lvl : 433 bt433-496:0(935)X1391302 1511.03/1510.90 conflict 57lvl : 435 bt435-320:0(640)X1391388 1511.03/1510.92 conflict 138lvl : 433 bt4339:0(610)X1391448 1511.14/1511.10 conflict 84lvl : 435 bt435-320:0(660)X1391589 1511.44/1511.30 conflict 57lvl : 434 bt434-872:0(608)X1391676 1512.44/1512.31 conflict 82lvl : 365 bt365-614:0(857)X1391736 1512.44/1512.38 conflict 111lvl : 434 bt43411:0(581)X1391821 1512.54/1512.40 conflict 83lvl : 433 bt433-496:0(951)X1391935 1512.64/1512.57 conflict 215lvl : 433 bt433496:0(950)X1392021 1512.74/1512.60 conflict 57lvl : 432 bt432-218:0(548)X1392239 1513.24/1513.14 conflict 83lvl : 403 bt403-550:0(892)X1392299 1513.24/1513.15 conflict 84lvl : 402 bt402-770:0(553)X1392385 1514.74/1514.66 conflict 83lvl : 365 bt365-14:0(856)X1392472 1514.84/1514.75 conflict 82lvl : 433 bt433-494:0(931)X1392558 1514.94/1514.84 conflict 214lvl : 433 bt43347:0(947)X1392643 1515.04/1514.93 conflict 82lvl : 433 bt433-496:0(927)X1392860 1515.54/1515.48 conflict 82lvl : 403 bt403-549:0(1010)X1392945 1515.64/1515.50 conflict 83lvl : 402 bt402-159:0(569)X1393030 1516.04/1515.98 conflict 57lvl : 373 bt373-40:0(970)X1393116 1517.44/1517.34 conflict 57lvl : 433 bt433-1:0(923)X1393176 1517.54/1517.42 conflict 213lvl : 433 bt43340:0(946)X1393236 1517.64/1517.51 conflict 137lvl : 433 bt43344:0(922)X1393452 1518.14/1518.06 conflict 57lvl : 403 bt403-700:0(877)X1393592 1518.14/1518.07 conflict 135lvl : 403 bt403-560:0(912)X1393652 1518.14/1518.08 conflict 82lvl : 403 bt403-544:0(686)X1393790 1518.24/1518.17 conflict 239lvl : 433 bt43347:0(973)X1393875 1518.44/1518.34 conflict 183lvl : 433 bt433-47:0(973)X1394117 1519.04/1518.90 conflict 186lvl : 403 bt403-22:0(946)X1394303 1519.14/1519.08 conflict 136lvl : 433 bt433-40:0(948)X1394492 1519.84/1519.72 conflict 57lvl : 403 bt403-710:0(904)X1394631 1519.84/1519.75 conflict 57lvl : 402 bt402-653:0(684)X1394691 1519.84/1519.76 conflict 57lvl : 402 bt402-429:0(998)X1394751 1519.84/1519.78 conflict 57lvl : 401 bt401-309:0(568)X1394811 1520.44/1520.35 conflict 186lvl : 433 bt43376:0(941)X1394871 1520.74/1520.60 conflict 57lvl : 429 bt429-214:0(712)X1395060 1521.14/1521.09 conflict 57lvl : 403 bt403-2:0(939)X1395120 1521.54/1521.40 conflict 57lvl : 431 bt431-221:0(620)X1395180 1521.54/1521.42 conflict 84lvl : 430 bt4309:0(609)X1395240 1521.94/1521.87 conflict 57lvl : 403 bt403-16:0(930)X1395327 1522.34/1522.28 conflict 57lvl : 435 bt435-230:0(638)X1395387 1523.64/1523.56 conflict 83lvl : 363 bt363-849:0(955)X1395447 1523.64/1523.57 conflict 107lvl : 363 bt363-369:0(825)X1395533 1523.64/1523.57 conflict 82lvl : 363 bt363-382:0(863)X1395643 1523.64/1523.59 conflict 57lvl : 363 bt363-26:0(906)X1395728 1523.74/1523.60 conflict 84lvl : 363 bt363-23:0(908)X1395788 1523.74/1523.65 conflict 57lvl : 363 bt363-11:0(952)X1395875 1523.74/1523.66 conflict 57lvl : 362 bt362-473:0(692)X1395935 1523.84/1523.71 conflict 57lvl : 362 bt362-50:0(857)X1395995 1523.84/1523.72 conflict 57lvl : 362 bt362-468:0(885)X1396055 1523.84/1523.72 conflict 57lvl : 362 bt362-153:0(944)X1396115 1523.84/1523.73 conflict 83lvl : 363 bt362-160:0(836)X1396175 1523.84/1523.73 conflict 82lvl : 362 bt362-320:0(856)X1396261 1523.94/1523.82 conflict 57lvl : 433 bt433-483:0(913)X1396346 1524.14/1524.03 conflict 57lvl : 431 bt431-560:0(579)X1396406 1524.14/1524.04 conflict 84lvl : 430 bt4302:0(516)X1396466 1524.44/1524.37 conflict 159lvl : 403 bt403-560:0(919)X1396553 1526.44/1526.31 conflict 188lvl : 403 bt403-17:0(922)X1396715 1528.34/1528.25 conflict 57lvl : 403 bt403-693:0(885)X1396906 1528.64/1528.53 conflict 57lvl : 432 bt432-212:0(609)X1396966 1530.34/1530.20 conflict 57lvl : 403 bt403-695:0(876)X1397026 1530.94/1530.83 conflict 83lvl : 403 bt40320:0(879)X1397086 1531.54/1531.45 conflict 109lvl : 403 bt403-5:0(874)X1397172 1531.84/1531.77 conflict 57lvl : 432 bt432-558:0(589)X1397284 1531.84/1531.79 conflict 83lvl : 431 bt431-581:0(632)X1397344 1533.44/1533.39 conflict 57lvl : 435 bt435-470:0(635)X1397430 1533.54/1533.40 conflict 111lvl : 434 bt43411:0(627)X1397490 1538.84/1538.76 conflict 135lvl : 433 bt433-31:0(949)X1397604 1539.44/1539.30 conflict 213lvl : 403 bt40320:0(877)X1397742 1540.04/1539.93 conflict 109lvl : 403 bt403-20:0(878)X1397958 1540.64/1540.56 conflict 215lvl : 403 bt40339:0(873)X1398070 1554.44/1554.33 conflict 213lvl : 433 bt43331:0(956)X1398288 1556.34/1556.25 conflict 57lvl : 400 bt400-278:0(674)X1398504 1574.04/1573.97 conflict 57lvl : 400 bt400-408:0(975)X1398564 1578.04/1577.94 conflict 134lvl : 433 bt433-31:0(955)X1398624 1578.84/1578.74 conflict 211lvl : 433 bt43347:0(961)X1398761 1591.64/1591.57 conflict 83lvl : 400 bt400-408:0(973)X1398975 1592.34/1592.24 conflict 186lvl : 403 bt403-10:0(922)X1399061 1592.94/1592.87 conflict 236lvl : 403 bt40374:0(925)X1399250 1609.25/1609.18 conflict 82lvl : 400 bt400-408:0(970)X1399489 1945.19/1945.02 conflict 112lvl : 421 bt4219:0(904)X1418655 1945.68/1945.53 conflict 57lvl : 434 bt434-3:0(926)X1418770 1945.78/1945.60 conflict 57lvl : 434 bt434-715:0(932)X1418830 1945.78/1945.67 conflict 84lvl : 434 bt434-25:0(920)X1418890 1946.08/1945.96 conflict 57lvl : 434 bt434-714:0(918)X1418977 1946.19/1946.03 conflict 83lvl : 434 bt434-24:0(916)X1419037 1946.19/1946.10 conflict 110lvl : 434 bt43433:0(909)X1419123 1946.58/1946.41 conflict 138lvl : 434 bt4345:0(916)X1419236 1946.58/1946.48 conflict 164lvl : 434 bt43440:0(920)X1419377 1946.68/1946.55 conflict 138lvl : 434 bt43440:0(915)X1419544 1946.98/1946.81 conflict 57lvl : 420 bt420-860:0(605)X1419685 1946.98/1946.88 conflict 164lvl : 434 bt4341:0(921)X1419745 1947.08/1946.95 conflict 134lvl : 434 bt434-505:0(916)X1419912 1947.19/1947.03 conflict 191lvl : 434 bt4345:0(913)X1420049 1947.48/1947.32 conflict 110lvl : 434 bt434-5:0(913)X1420243 1948.78/1948.68 conflict 242lvl : 434 bt43433:0(918)X1420356 1949.98/1949.85 conflict 83lvl : 432 bt432-452:0(606)X1420601 1951.68/1951.58 conflict 57lvl : 428 bt428-602:0(602)X1420687 1951.98/1951.84 conflict 83lvl : 410 bt410-130:0(897)X1420747 1952.08/1951.91 conflict 138lvl : 434 bt4349:0(623)X1420833 1958.98/1958.87 conflict 83lvl : 432 bt432-370:0(704)X1420974 1958.98/1958.89 conflict 136lvl : 431 bt4319:0(642)X1421060 1962.38/1962.25 conflict 57lvl : 420 bt420-548:0(538)X1421199 1971.78/1971.67 conflict 135lvl : 434 bt434-694:0(755)X1421259 1971.88/1971.74 conflict 57lvl : 434 bt434-311:0(631)X1421397 1971.98/1971.81 conflict 84lvl : 434 bt4349:0(633)X1421457 1977.58/1977.40 conflict 57lvl : 419 bt419-392:0(593)X1421544 1982.29/1982.13 conflict 57lvl : 419 bt419-401:0(609)X1421604 1982.29/1982.15 conflict 82lvl : 418 bt418-281:0(596)X1421664 1982.29/1982.16 conflict 57lvl : 417 bt417-401:0(560)X1421749 1982.68/1982.51 conflict 84lvl : 393 bt39340:0(971)X1421809 1982.68/1982.52 conflict 57lvl : 393 bt393-280:0(898)X1421896 1982.78/1982.60 conflict 212lvl : 434 bt43474:0(943)X1421956 1983.08/1982.98 conflict 237lvl : 434 bt434-700:0(941)X1422171 1983.29/1983.12 conflict 288lvl : 434 bt43476:0(942)X1422411 1987.78/1987.63 conflict 83lvl : 394 bt394-640:0(876)X1422702 1987.78/1987.63 conflict 57lvl : 394 bt394-286:0(915)X1422788 1989.48/1989.37 conflict 189lvl : 394 bt394-17:0(898)X1422848 1995.38/1995.25 conflict 57lvl : 392 bt392-556:0(731)X1423040 1995.38/1995.26 conflict 57lvl : 392 bt392-52:0(953)X1423100 2005.48/2005.33 conflict 188lvl : 394 bt39431:0(900)X1423160 2007.29/2007.15 conflict 57lvl : 394 bt394-31:0(910)X1423351 2010.98/2010.82 conflict 84lvl : 391 bt391100:0(915)X1423411 2012.58/2012.45 conflict 187lvl : 394 bt394-17:0(908)X1423498 2020.68/2020.54 conflict 241lvl : 434 bt43433:0(907)X1423688 2022.19/2022.05 conflict 186lvl : 394 bt394-17:0(908)X1423932 2025.39/2025.28 conflict 57lvl : 392 bt392-443:0(741)X1424121 2025.49/2025.39 conflict 108lvl : 434 bt4345:0(915)X1424181 2025.59/2025.46 conflict 134lvl : 434 bt434-483:0(917)X1424292 2050.20/2050.02 conflict 57lvl : 394 bt394-47:0(937)X1424429 2059.09/2058.92 conflict 110lvl : 394 bt394-47:0(912)X1424489 2062.49/2062.36 conflict 135lvl : 394 bt39476:0(907)X1424602 2063.59/2063.49 conflict 57lvl : 435 bt435-650:0(634)X1424740 2063.79/2063.65 conflict 57lvl : 434 bt434-490:0(708)X1424800 2063.79/2063.66 conflict 57lvl : 433 bt433-304:0(774)X1424860 2064.09/2063.96 conflict 112lvl : 434 bt434415:0(709)X1424920 2070.09/2070.00 conflict 83lvl : 405 bt405-580:0(700)X1425035 2071.79/2071.63 conflict 138lvl : 405 bt40518:0(700)X1425121 2073.39/2073.26 conflict 57lvl : 405 bt405-8:0(949)X1425262 2077.30/2077.13 conflict 57lvl : 432 bt432-304:0(760)X1425322 2093.49/2093.35 conflict 84lvl : 405 bt40597:0(943)X1425382 2098.59/2098.42 conflict 57lvl : 435 bt435-700:0(717)X1425469 2098.59/2098.43 conflict 138lvl : 434 bt4349:0(661)X1425529 2098.69/2098.52 conflict 112lvl : 435 bt435685:0(717)X1425670 2098.79/2098.69 conflict 57lvl : 431 bt431-578:0(596)X1425785 2098.89/2098.71 conflict 83lvl : 430 bt430-581:0(659)X1425845 2098.89/2098.72 conflict 82lvl : 429 bt429-41:0(612)X1425931 2099.79/2099.69 conflict 111lvl : 435 bt435-700:0(723)X1426016 2099.99/2099.80 conflict 138lvl : 435 bt4353:0(691)X1426130 2102.39/2102.21 conflict 57lvl : 424 bt424-308:0(581)X1426271 2102.39/2102.29 conflict 163lvl : 434 bt4349:0(673)X1426331 2106.59/2106.47 conflict 111lvl : 434 bt434-490:0(722)X1426497 2106.59/2106.48 conflict 57lvl : 433 bt433-494:0(780)X1426611 2106.89/2106.78 conflict 138lvl : 434 bt4343:0(695)X1426671 2111.79/2111.63 conflict 57lvl : 430 bt430-581:0(669)X1426812 2111.79/2111.65 conflict 84lvl : 429 bt4299:0(655)X1426872 2118.39/2118.21 conflict 57lvl : 435 bt435-700:0(738)X1426959 2120.90/2120.79 conflict 84lvl : 433 bt433-380:0(701)X1427019 2121.00/2120.81 conflict 108lvl : 432 bt432-380:0(697)X1427106 2122.10/2121.93 conflict 85lvl : 433 bt433-388:0(681)X1427217 2124.00/2123.84 conflict 112lvl : 434 bt43452:0(680)X1427305 2254.92/2254.70 o -3701 2255.12/2254.93 conflict 57lvl : 435 bt435-302:0(618)X1452979 2255.12/2254.98 conflict 57lvl : 435 bt435-458:0(558)X1453039 2255.23/2255.09 conflict 107lvl : 427 bt427-249:0(919)X1453099 2255.62/2255.46 conflict 108lvl : 427 bt427-699:0(922)X1453209 2256.02/2255.83 conflict 57lvl : 427 bt427-699:0(913)X1453320 2256.02/2255.83 conflict 83lvl : 427 bt427-256:0(955)X1453380 2256.02/2255.86 conflict 57lvl : 435 bt435-548:0(553)X1453466 2257.72/2257.56 conflict 137lvl : 427 bt427256:0(951)X1453526 2258.42/2258.29 conflict 214lvl : 427 bt42747:0(952)X1453666 2258.62/2258.44 conflict 57lvl : 435 bt435-398:0(553)X1453883 2259.12/2258.97 conflict 83lvl : 396 bt396-646:0(918)X1453943 2260.12/2259.96 conflict 57lvl : 435 bt435-452:0(613)X1454029 2260.23/2260.07 conflict 208lvl : 427 bt427-243:0(917)X1454089 2260.23/2260.10 conflict 57lvl : 435 bt435-428:0(553)X1454300 2260.33/2260.11 conflict 56lvl : 434 bt434-422:0(606)X1454360 2260.33/2260.13 conflict 84lvl : 432 bt432-422:0(605)X1454419 2260.72/2260.56 conflict 139lvl : 427 bt4273:0(924)X1454506 2261.12/2260.93 conflict 138lvl : 427 bt4271:0(925)X1454648 2261.52/2261.30 conflict 138lvl : 427 bt427243:0(915)X1454789 2261.92/2261.79 conflict 137lvl : 427 bt427243:0(907)X1454930 2262.33/2262.16 conflict 263lvl : 427 bt4275:0(909)X1455070 2262.72/2262.53 conflict 266lvl : 427 bt42736:0(903)X1455336 2271.12/2271.00 conflict 84lvl : 396 bt396-646:0(909)X1455605 2271.52/2271.37 conflict 57lvl : 427 bt427-706:0(947)X1455692 2272.23/2272.10 conflict 214lvl : 427 bt42747:0(943)X1455752 2279.52/2279.32 conflict 136lvl : 427 bt42740:0(949)X1455969 2283.12/2282.91 conflict 216lvl : 396 bt39634:0(919)X1456108 2283.12/2282.94 conflict 57lvl : 435 bt435-38:0(551)X1456327 2283.52/2283.39 conflict 57lvl : 435 bt435-428:0(577)X1456387 2283.62/2283.41 conflict 56lvl : 433 bt433-422:0(629)X1456447 2284.02/2283.82 conflict 57lvl : 424 bt424-221:0(648)X1456506 2284.23/2284.04 conflict 57lvl : 411 bt411-191:0(692)X1456566 2285.33/2285.16 conflict 84lvl : 410 bt410729:0(646)X1456626 2286.42/2286.29 conflict 164lvl : 411 bt411740:0(652)X1456713 2287.62/2287.44 conflict 163lvl : 410 bt410731:0(650)X1456880 2288.12/2287.91 conflict 57lvl : 435 bt435-422:0(638)X1457046 2289.82/2289.69 conflict 57lvl : 435 bt435-488:0(577)X1457106 2290.23/2290.08 conflict 57lvl : 425 bt425-428:0(591)X1457166 2291.52/2291.36 conflict 57lvl : 420 bt420-428:0(573)X1457226 2292.82/2292.69 conflict 57lvl : 435 bt435-578:0(591)X1457286 2293.12/2292.94 conflict 57lvl : 410 bt410-725:0(914)X1457346 2296.52/2296.31 conflict 57lvl : 435 bt435-638:0(595)X1457406 2296.62/2296.45 conflict 82lvl : 420 bt420-638:0(578)X1457466 2296.72/2296.58 conflict 57lvl : 410 bt410-821:0(622)X1457551 2298.02/2297.88 conflict 82lvl : 411 bt411-199:0(654)X1457611 2298.02/2297.88 conflict 138lvl : 410 bt410-190:0(727)X1457696 2298.12/2297.90 conflict 157lvl : 410 bt410-566:0(628)X1457837 2298.12/2297.90 conflict 135lvl : 409 bt409740:0(695)X1457997 2298.33/2298.11 conflict 84lvl : 398 bt398-23:0(972)X1458135 2298.33/2298.13 conflict 83lvl : 397 bt397-23:0(970)X1458222 2298.33/2298.15 conflict 110lvl : 396 bt39693:0(958)X1458308 2298.33/2298.19 conflict 57lvl : 395 bt395-84:0(976)X1458421 2298.42/2298.20 conflict 83lvl : 395 bt395-579:0(899)X1458481 2298.42/2298.22 conflict 83lvl : 396 bt396-84:0(951)X1458567 2298.42/2298.23 conflict 83lvl : 396 bt396-85:0(966)X1458653 2334.34/2334.11 conflict 57lvl : 435 bt435-578:0(553)X1458739 2334.73/2334.58 conflict 57lvl : 435 bt435-488:0(579)X1458799 2335.23/2335.02 conflict 57lvl : 424 bt424-229:0(648)X1458859 2335.73/2335.52 conflict 160lvl : 396 bt396-190:0(861)X1458919 2335.73/2335.54 conflict 136lvl : 395 bt395-884:0(679)X1459082 2335.73/2335.55 conflict 57lvl : 395 bt395-16:0(890)X1459221 2371.73/2371.59 conflict 56lvl : 430 bt430-32:0(608)X1459281 2372.73/2372.53 conflict 82lvl : 420 bt420-548:0(620)X1459340 2390.63/2390.40 conflict 57lvl : 421 bt421-648:0(554)X1459425 2391.24/2391.09 conflict 134lvl : 419 bt419-488:0(658)X1459485 2391.73/2391.56 conflict 84lvl : 396 bt39670:0(948)X1459622 2391.73/2391.59 conflict 57lvl : 395 bt395-161:0(576)X1459709 2391.83/2391.61 conflict 112lvl : 394 bt3949:0(568)X1459769 2392.13/2391.95 conflict 57lvl : 374 bt374-39:0(980)X1459884 2392.13/2391.96 conflict 57lvl : 374 bt374-80:0(995)X1459944 2392.13/2391.98 conflict 138lvl : 374 bt374370:0(876)X1460004 2392.13/2391.99 conflict 107lvl : 374 bt374-350:0(889)X1460145 2392.53/2392.33 conflict 213lvl : 427 bt42731:0(938)X1460255 2394.93/2394.72 conflict 211lvl : 427 bt42747:0(946)X1460471 2401.93/2401.78 conflict 241lvl : 397 bt39747:0(909)X1460685 2402.63/2402.45 conflict 161lvl : 427 bt427-9:0(908)X1460929 2403.24/2403.03 conflict 137lvl : 433 bt433701:0(638)X1461093 2404.73/2404.55 conflict 187lvl : 427 bt427-9:0(915)X1461233 2409.73/2409.51 conflict 288lvl : 434 bt43474:0(944)X1461423 2413.43/2413.28 conflict 237lvl : 434 bt434-712:0(944)X1461714 2418.83/2418.62 conflict 239lvl : 434 bt43447:0(981)X1461954 2418.93/2418.70 conflict 291lvl : 434 bt43474:0(985)X1462196 2418.93/2418.78 conflict 57lvl : 435 bt435-320:0(641)X1462490 2418.93/2418.79 conflict 290lvl : 434 bt43474:0(980)X1462550 2419.34/2419.16 conflict 57lvl : 435 bt435-488:0(560)X1462843 2419.53/2419.36 conflict 57lvl : 421 bt421-303:0(904)X1462903 2422.64/2422.44 conflict 214lvl : 427 bt42747:0(946)X1462963 2423.14/2422.94 conflict 57lvl : 396 bt396-323:0(670)X1463180 2444.44/2444.27 conflict 57lvl : 396 bt396-19:0(964)X1463240 2449.64/2449.43 conflict 84lvl : 435 bt435-401:0(609)X1463300 2450.14/2449.95 conflict 187lvl : 397 bt397-17:0(940)X1463387 2451.64/2451.42 conflict 214lvl : 423 bt423-325:0(914)X1463577 2453.04/2452.89 conflict 57lvl : 423 bt423-25:0(921)X1463794 2454.54/2454.36 conflict 84lvl : 423 bt42336:0(901)X1463854 2465.84/2465.61 conflict 137lvl : 422 bt422431:0(618)X1463941 2470.64/2470.41 conflict 57lvl : 434 bt434-482:0(638)X1464081 2471.84/2471.66 conflict 57lvl : 423 bt423-458:0(565)X1464141 2474.74/2474.57 conflict 136lvl : 424 bt424431:0(606)X1464201 2478.94/2478.74 o -3684 2478.94/2478.74 c 13 calls to solver: best=-3684 lower=-3683 upper=0 2479.44/2479.22 conflict 83lvl : 420 bt420-424:0(1016)X1468779 2479.44/2479.23 conflict 227lvl : 420 bt420-445:0(896)X1468865 2479.44/2479.23 conflict 254lvl : 420 bt420-436:0(926)X1469095 2479.94/2479.70 conflict 132lvl : 420 bt420-325:0(903)X1469352 2479.94/2479.70 conflict 108lvl : 420 bt420-436:0(950)X1469487 2480.35/2480.16 conflict 57lvl : 420 bt420-4:0(1012)X1469598 2480.35/2480.17 conflict 137lvl : 420 bt420-25:0(893)X1469658 2480.35/2480.17 conflict 83lvl : 420 bt420-16:0(923)X1469798 2480.84/2480.66 conflict 160lvl : 420 bt42013:0(888)X1469884 2480.84/2480.66 conflict 287lvl : 420 bt42044:0(915)X1470047 2483.44/2483.25 conflict 205lvl : 400 bt400-700:0(887)X1470337 2483.64/2483.42 conflict 84lvl : 434 bt434-16:0(947)X1470545 2483.94/2483.74 conflict 293lvl : 420 bt4205:0(897)X1470632 2483.94/2483.75 conflict 57lvl : 420 bt420-17:0(945)X1470928 2484.04/2483.82 conflict 314lvl : 434 bt43476:0(976)X1470988 2484.04/2483.89 conflict 318lvl : 434 bt43480:0(980)X1471305 2484.44/2484.22 conflict 254lvl : 420 bt420-5:0(903)X1471626 2484.94/2484.70 conflict 83lvl : 420 bt420-17:0(944)X1471883 2485.44/2485.20 conflict 110lvl : 420 bt42071:0(934)X1471969 2486.04/2485.80 conflict 83lvl : 434 bt434-80:0(977)X1472082 2486.84/2486.61 conflict 188lvl : 420 bt42071:0(931)X1472168 2487.74/2487.52 conflict 134lvl : 401 bt401-820:0(887)X1472359 2488.14/2488.00 conflict 217lvl : 420 bt42070:0(931)X1472496 2488.35/2488.14 conflict 316lvl : 434 bt43477:0(981)X1472716 2489.14/2488.95 conflict 133lvl : 420 bt420-68:0(932)X1473035 2489.64/2489.45 conflict 216lvl : 420 bt42070:0(933)X1473171 2490.25/2490.04 conflict 316lvl : 434 bt43482:0(979)X1473390 2491.04/2490.84 conflict 266lvl : 420 bt42070:0(931)X1473709 2491.54/2491.34 conflict 318lvl : 420 bt420104:0(930)X1473978 2492.04/2491.87 conflict 111lvl : 434 bt43477:0(984)X1474299 2492.14/2491.94 conflict 109lvl : 434 bt434-77:0(983)X1474413 2492.64/2492.43 conflict 83lvl : 434 bt434-82:0(983)X1474525 2493.04/2492.85 conflict 112lvl : 434 bt43470:0(980)X1474611 2493.14/2492.93 conflict 190lvl : 434 bt434106:0(980)X1474726 2494.04/2493.87 conflict 111lvl : 434 bt434-68:0(982)X1474919 2494.44/2494.29 conflict 138lvl : 434 bt43477:0(979)X1475033 2499.84/2499.62 conflict 84lvl : 434 bt434-16:0(946)X1475174 2499.84/2499.69 conflict 108lvl : 434 bt434-22:0(945)X1475261 2499.94/2499.79 conflict 135lvl : 434 bt434-701:0(979)X1475372 2500.04/2499.86 conflict 137lvl : 434 bt434114:0(976)X1475510 2500.04/2499.89 conflict 267lvl : 433 bt43377:0(969)X1475650 2500.25/2500.03 conflict 136lvl : 434 bt434104:0(944)X1475920 2500.44/2500.24 conflict 266lvl : 434 bt434701:0(975)X1476059 2500.54/2500.31 conflict 214lvl : 434 bt434106:0(972)X1476328 2500.54/2500.33 conflict 83lvl : 433 bt433-68:0(967)X1476545 2500.64/2500.41 conflict 109lvl : 434 bt434-77:0(978)X1476631 2500.74/2500.51 conflict 137lvl : 433 bt433106:0(968)X1476743 2500.74/2500.58 conflict 136lvl : 434 bt434-40:0(974)X1476883 2500.84/2500.68 conflict 239lvl : 433 bt433114:0(965)X1477022 2502.64/2502.40 conflict 83lvl : 434 bt434-61:0(972)X1477264 2508.14/2507.94 conflict 57lvl : 400 bt400-2:0(581)X1477350 2508.14/2507.96 conflict 83lvl : 399 bt399-11:0(580)X1477410 2508.14/2507.98 conflict 57lvl : 398 bt398-41:0(538)X1477496 2508.14/2508.00 conflict 82lvl : 397 bt397-364:0(992)X1477556 2508.14/2508.00 conflict 138lvl : 397 bt39769:0(873)X1477641 2508.25/2508.01 conflict 83lvl : 397 bt397-34:0(902)X1477782 2508.64/2508.48 conflict 293lvl : 420 bt4205:0(888)X1477868 2509.14/2508.95 conflict 295lvl : 420 bt4205:0(895)X1478164 2509.64/2509.42 conflict 285lvl : 420 bt420-5:0(884)X1478462 2512.84/2512.69 conflict 83lvl : 434 bt434-70:0(969)X1478750 2513.25/2513.02 conflict 189lvl : 420 bt42077:0(930)X1478836 2514.04/2513.81 conflict 57lvl : 435 bt435-698:0(567)X1479028 2514.04/2513.85 conflict 227lvl : 433 bt433-475:0(926)X1479088 2514.04/2513.87 conflict 254lvl : 432 bt432-3:0(910)X1479318 2514.14/2513.90 conflict 84lvl : 431 bt4311:0(910)X1479575 2514.14/2513.92 conflict 254lvl : 430 bt430-1:0(902)X1479662 2514.14/2513.95 conflict 259lvl : 429 bt42933:0(894)X1479919 2514.25/2514.07 conflict 155lvl : 424 bt424-459:0(902)X1480181 2514.25/2514.08 conflict 81lvl : 424 bt424-466:0(944)X1480339 2514.25/2514.09 conflict 83lvl : 424 bt424-452:0(565)X1480423 2514.25/2514.09 conflict 184lvl : 424 bt424-472:0(844)X1480509 2515.25/2515.08 conflict 135lvl : 433 bt43311:0(615)X1480696 2515.44/2515.29 conflict 109lvl : 434 bt43411:0(623)X1480834 2516.35/2516.12 conflict 163lvl : 435 bt435-322:0(772)X1480946 2516.54/2516.36 conflict 254lvl : 420 bt420-9:0(894)X1481112 2516.54/2516.36 conflict 83lvl : 420 bt420-70:0(929)X1481369 2516.64/2516.43 conflict 57lvl : 434 bt434-330:0(707)X1481455 2516.74/2516.51 conflict 136lvl : 434 bt434341:0(671)X1481515 2516.84/2516.68 conflict 135lvl : 434 bt434341:0(670)X1481654 2517.04/2516.81 conflict 57lvl : 435 bt435-708:0(737)X1481792 2518.74/2518.57 conflict 57lvl : 434 bt434-16:0(970)X1481852 2519.04/2518.84 conflict 57lvl : 434 bt434-17:0(969)X1481912 2519.14/2518.92 conflict 137lvl : 434 bt434106:0(969)X1481972 2519.84/2519.68 conflict 84lvl : 435 bt435-320:0(690)X1482112 2520.04/2519.80 2520.04/2519.80 c *** INTERRUPTED *** 2520.04/2519.80 c restarts : 586 2520.04/2519.80 c conflicts : 3930726 (1560 /sec) 2520.04/2519.80 c decisions : 20477220 (8126 /sec) 2520.04/2519.80 c propagations : 1447478544 (574392 /sec) 2520.04/2519.80 c root propagations : 10588 2520.04/2519.80 c filter calls : 787979892 (312688 /sec) 2520.04/2519.80 c useless filter calls : 610917629 (77 %) 2520.04/2519.80 c 2520.04/2519.80 c clauses : 43653 2520.04/2519.80 c SAT propagations : 28914 2520.04/2519.80 c SAT conflicts : 4017 (1080 learnts) 2520.04/2519.80 c Memory used : 44.77 MB 2520.04/2519.80 c CPU time : 2520.02 s 2520.04/2519.80 2520.04/2519.80 c nb Solutions = 13 2520.04/2519.80 s SATISFIABLE 2520.04/2519.80 c Best value found: -3684 2520.04/2519.80 2520.04/2519.80 2520.04/2519.80 v <instantiation type='solution' cost='-3684'> 2520.04/2519.80 v <list>d[0][0] 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][1] 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][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] 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][1] 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][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] 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][1] 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][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] 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][1] 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][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] 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][1] 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][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] 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][1] 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][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] 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][1] 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][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] 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][1] 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][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] 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][1] 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][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] 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][1] 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][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] 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][1] 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][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] 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][1] 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][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] 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][1] 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][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] 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][1] 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][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] 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][1] 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][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] 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][1] 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][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] 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][1] 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][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] 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][1] 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][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] 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][1] 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][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] 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][1] 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][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] 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][1] 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][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] 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][1] 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][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] 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][1] 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][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] 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][1] 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][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] 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][1] 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][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] 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][1] 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][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] 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][1] 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][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] 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][1] 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][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] 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][1] 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][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] 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][1] 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][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 2520.04/2519.80 v <values>* 5 1 0 0 4 0 4 5 3 2 5 2 0 5 4 0 0 5 1 0 3 2 2 0 4 0 5 10 10 * * 0 5 0 6 2 1 10 10 0 * 3 5 0 1 10 5 1 5 5 0 * * * * * * * * * * * 2 0 2 0 4 4 2 4 * 0 0 5 2 0 5 2 1 0 5 * * * * * * * * * * * * 1 5 1 1 0 2 0 * 1 10 0 2 5 10 0 0 0 4 * * * * * * * * * * * * * 0 10 4 1 0 5 * 2 0 0 0 2 2 5 0 0 1 * * * * * * * * * * * * * * 5 0 0 5 1 * 6 0 2 0 0 5 10 0 2 2 * * * * * * * * * * * * * * * 4 5 2 0 * 6 3 0 0 2 0 4 1 1 2 * * * * * * * * * * * * * * * * 3 5 2 * 5 2 3 0 0 1 0 4 5 6 * * * * * * * * * * * * * * * * * 2 1 * 0 1 2 5 0 0 0 3 5 5 * * * * * * * * * * * * * * * * * * 5 * 4 0 2 0 5 1 2 2 0 2 * * * * * * * * * * * * * * * * * * * * 0 0 4 0 4 5 0 6 5 10 * * * * * * * * * 5 5 0 2 5 10 0 0 5 2 * 0 0 5 1 0 0 1 2 2 0 5 2 10 0 5 1 1 2 * * * * * * * * * * * * * 1 2 0 0 0 0 0 4 2 * * * * * * * * * * * * * * * * * * * * * * 0 2 1 5 2 2 10 6 * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 0 6 2 1 * * * * * * * * * * * * * * * * * * * * * * * * 0 2 5 2 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 5 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 3 0 0 1 2 6 0 1 * 5 0 1 1 5 2 0 0 2 1 * 5 0 6 0 1 1 3 * 1 2 1 0 1 1 1 0 2 0 * 5 1 2 1 0 0 10 2 0 0 * * 2 5 0 10 0 2 * 5 3 0 0 1 0 3 1 0 1 * 5 3 1 0 2 0 0 0 5 5 * * * 10 2 5 10 10 * 3 0 2 0 0 0 5 5 1 5 * 0 5 2 2 0 0 2 5 5 2 * * * * 5 5 10 2 * 5 0 5 2 2 0 0 0 0 6 * 0 5 1 5 5 0 0 0 0 2 * * * * * 3 2 1 * 2 0 5 0 5 2 0 0 0 4 * 0 2 2 0 1 1 0 4 4 0 * * * * * * 5 0 * 5 0 3 2 6 0 5 2 10 2 * 5 10 0 0 0 10 1 10 5 1 * * * * * * * 3 * 2 5 0 1 5 5 2 10 2 2 * 0 1 5 0 0 1 1 10 5 0 * * * * * * * * 15 9 13 23 4 12 1 2 26 8 22 28 20 0 3 14 25 11 5 10 21 17 19 27 18 7 16 24 6 29 </values> 2520.04/2519.80 v </instantiation> 2520.04/2519.80
OK 3684
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12374 MiB free) memory of node 1: 16384 MiB (9894 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265797-1502570877/watcher-4265797-1502570877 -o /tmp/evaluation-result-4265797-1502570877/solver-4265797-1502570877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265797-1502570877.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=24727, runsolver pid=24724 Current StackSize limit: 8192 KiB [startup+0.100202 s]* /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22792860/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=41296 memory=13432 CPUtime=0.1 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 3557 0 0 0 10 0 0 0 20 0 1 0 90159400 42287104 3358 33554432000 4194304 5972588 140725228907552 140725228904200 4935525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10324 3358 784 435 0 3687 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 41296 KiB Current children cumulated memory: 13432 KiB [startup+0.209899 s]* /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22792116/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=41956 memory=14224 CPUtime=0.21 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 3730 0 0 0 21 0 0 0 20 0 1 0 90159400 42962944 3556 33554432000 4194304 5972588 140725228907552 140725228904200 4931747 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10489 3556 786 435 0 3852 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 41956 KiB Current children cumulated memory: 14224 KiB [startup+0.309611 s]* /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22791620/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=42220 memory=14488 CPUtime=0.31 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 3801 0 0 0 31 0 0 0 20 0 1 0 90159400 43233280 3622 33554432000 4194304 5972588 140725228907552 140725228904200 4935493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10555 3622 786 435 0 3918 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 42220 KiB Current children cumulated memory: 14488 KiB [startup+0.70038 s] /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22791248/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=42616 memory=15016 CPUtime=0.69 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 3925 0 0 0 69 0 0 0 20 0 1 0 90159400 43638784 3754 33554432000 4194304 5972588 140725228907552 140725228904264 5139327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10654 3754 791 435 0 4017 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 42616 KiB Current children cumulated memory: 15016 KiB [startup+1.50038 s] /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22791264/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=42744 memory=15080 CPUtime=1.49 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 3962 0 0 0 149 0 0 0 20 0 1 0 90159400 43769856 3770 33554432000 4194304 5972588 140725228907552 140725228904264 5046280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10686 3770 791 435 0 4049 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 42744 KiB Current children cumulated memory: 15080 KiB [startup+3.10949 s] /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22791088/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=42744 memory=15368 CPUtime=3.1 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 6590 0 0 0 310 0 0 0 20 0 1 0 90159400 43769856 3842 33554432000 4194304 5972588 140725228907552 140725228894744 4935490 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10686 3842 791 435 0 4049 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 42744 KiB Current children cumulated memory: 15368 KiB [startup+6.30036 s] /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22790484/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=42744 memory=15812 CPUtime=6.29 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 9413 0 0 0 629 0 0 0 20 0 1 0 90159400 43769856 3953 33554432000 4194304 5972588 140725228907552 140725228905000 5139327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10686 3953 791 435 0 4049 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42744 KiB Current children cumulated memory: 15812 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22787692/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=42864 memory=18520 CPUtime=12.69 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 12435 0 0 0 1269 0 0 0 20 0 1 0 90159400 43892736 4630 33554432000 4194304 5972588 140725228907552 140725228905000 4931727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10716 4630 791 435 0 4079 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 42864 KiB Current children cumulated memory: 18520 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22787816/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=42864 memory=18536 CPUtime=25.49 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 18218 0 0 0 2548 1 0 0 20 0 1 0 90159400 43892736 4634 33554432000 4194304 5972588 140725228907552 140725228894744 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 10716 4634 791 435 0 4079 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 42864 KiB Current children cumulated memory: 18536 KiB [startup+51.1094 s] /proc/loadavg: 2.00 2.03 1.95 3/188 24728 /proc/meminfo: memFree=22787568/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19052 CPUtime=51.11 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 21891 0 0 0 5110 1 0 0 20 0 1 0 90159400 46809088 4763 33554432000 4194304 5972588 140725228907552 140725228904776 4935601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4763 792 435 0 4791 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19052 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.02 1.95 3/187 24729 /proc/meminfo: memFree=22785572/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19340 CPUtime=102.3 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 23147 0 0 0 10229 1 0 0 20 0 1 0 90159400 46809088 4835 33554432000 4194304 5972588 140725228907552 140725228904776 5048042 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4835 792 435 0 4791 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19340 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 24793 /proc/meminfo: memFree=26650280/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19524 CPUtime=162.3 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 24411 0 0 0 16229 1 0 0 20 0 1 0 90159400 46809088 4881 33554432000 4194304 5972588 140725228907552 140725228904776 4972741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4881 792 435 0 4791 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19524 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 24794 /proc/meminfo: memFree=26649952/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19672 CPUtime=222.31 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 25656 0 0 0 22230 1 0 0 20 0 1 0 90159400 46809088 4918 33554432000 4194304 5972588 140725228907552 140725228904776 5139312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4918 792 435 0 4791 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19672 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 24795 /proc/meminfo: memFree=26649316/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19672 CPUtime=282.31 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 25689 0 0 0 28230 1 0 0 20 0 1 0 90159400 46809088 4918 33554432000 4194304 5972588 140725228907552 140725228904776 4935493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4918 792 435 0 4791 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19672 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 24796 /proc/meminfo: memFree=26649312/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19776 CPUtime=342.31 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 26760 0 0 0 34230 1 0 0 20 0 1 0 90159400 46809088 4944 33554432000 4194304 5972588 140725228907552 140725228904776 4934208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4944 792 435 0 4791 0 Current children cumulated CPU time: 342.31 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19776 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.95 3/188 24805 /proc/meminfo: memFree=26648448/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19796 CPUtime=402.32 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 26893 0 0 0 40231 1 0 0 20 0 1 0 90159400 46809088 4949 33554432000 4194304 5972588 140725228907552 140725228904776 5046284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4949 792 435 0 4791 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19796 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.95 3/188 24806 /proc/meminfo: memFree=26648852/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45712 memory=19816 CPUtime=462.33 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 27898 0 0 0 46232 1 0 0 20 0 1 0 90159400 46809088 4954 33554432000 4194304 5972588 140725228907552 140725228904776 5048480 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11428 4954 792 435 0 4791 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 45712 KiB Current children cumulated memory: 19816 KiB ################ # More data... # ################ /proc/24727/statm: 11460 5083 792 435 0 4823 0 Current children cumulated CPU time: 1722.46 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20332 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/187 24867 /proc/meminfo: memFree=26648500/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20352 CPUtime=1782.46 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 38659 0 0 0 178244 2 0 0 20 0 1 0 90159400 46940160 5088 33554432000 4194304 5972588 140725228907552 140725228904776 5240338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5088 792 435 0 4823 0 Current children cumulated CPU time: 1782.46 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20352 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/187 24868 /proc/meminfo: memFree=26648328/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20352 CPUtime=1842.47 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 38661 0 0 0 184245 2 0 0 20 0 1 0 90159400 46940160 5088 33554432000 4194304 5972588 140725228907552 140725228904776 5139333 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5088 792 435 0 4823 0 Current children cumulated CPU time: 1842.47 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20352 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.00 3/187 24869 /proc/meminfo: memFree=26648456/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20352 CPUtime=1902.47 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 39292 0 0 0 190245 2 0 0 20 0 1 0 90159400 46940160 5088 33554432000 4194304 5972588 140725228907552 140725228904776 5046624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5088 792 435 0 4823 0 Current children cumulated CPU time: 1902.47 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20352 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 24870 /proc/meminfo: memFree=26648460/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20360 CPUtime=1962.48 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 39493 0 0 0 196246 2 0 0 20 0 1 0 90159400 46940160 5090 33554432000 4194304 5972588 140725228907552 140725228904776 4935486 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5090 792 435 0 4823 0 Current children cumulated CPU time: 1962.48 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20360 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 24871 /proc/meminfo: memFree=26649060/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20372 CPUtime=2022.49 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 40078 0 0 0 202247 2 0 0 20 0 1 0 90159400 46940160 5093 33554432000 4194304 5972588 140725228907552 140725228904776 4935927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5093 792 435 0 4823 0 Current children cumulated CPU time: 2022.49 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20372 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 24872 /proc/meminfo: memFree=26649064/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20396 CPUtime=2082.49 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 40104 0 0 0 208247 2 0 0 20 0 1 0 90159400 46940160 5099 33554432000 4194304 5972588 140725228907552 140725228904776 4935649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5099 792 435 0 4823 0 Current children cumulated CPU time: 2082.49 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20396 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 24873 /proc/meminfo: memFree=26649164/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20492 CPUtime=2142.5 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 40971 0 0 0 214248 2 0 0 20 0 1 0 90159400 46940160 5123 33554432000 4194304 5972588 140725228907552 140725228904776 4931696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5123 792 435 0 4823 0 Current children cumulated CPU time: 2142.5 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20492 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 24881 /proc/meminfo: memFree=26647704/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20492 CPUtime=2202.5 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 40972 0 0 0 220248 2 0 0 20 0 1 0 90159400 46940160 5123 33554432000 4194304 5972588 140725228907552 140725228904776 5325610 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5123 792 435 0 4823 0 Current children cumulated CPU time: 2202.5 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20492 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 24882 /proc/meminfo: memFree=26647956/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20528 CPUtime=2262.52 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 41930 0 0 0 226249 3 0 0 20 0 1 0 90159400 46940160 5132 33554432000 4194304 5972588 140725228907552 140725228904776 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5132 792 435 0 4823 0 Current children cumulated CPU time: 2262.52 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20528 KiB [startup+2322.3 s] /proc/loadavg: 2.10 2.04 2.01 3/187 24883 /proc/meminfo: memFree=26648416/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20592 CPUtime=2322.52 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 41970 0 0 0 232249 3 0 0 20 0 1 0 90159400 46940160 5148 33554432000 4194304 5972588 140725228907552 140725228904776 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5148 792 435 0 4823 0 Current children cumulated CPU time: 2322.52 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20592 KiB [startup+2382.3 s] /proc/loadavg: 2.11 2.05 2.02 3/187 24884 /proc/meminfo: memFree=26648588/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20612 CPUtime=2382.53 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 42549 0 0 0 238250 3 0 0 20 0 1 0 90159400 46940160 5153 33554432000 4194304 5972588 140725228907552 140725228904776 4935596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5153 792 435 0 4823 0 Current children cumulated CPU time: 2382.53 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20612 KiB [startup+2442.3 s] /proc/loadavg: 2.04 2.04 2.02 3/187 24885 /proc/meminfo: memFree=26648736/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20612 CPUtime=2442.54 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 42647 0 0 0 244251 3 0 0 20 0 1 0 90159400 46940160 5153 33554432000 4194304 5972588 140725228907552 140725228904776 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5153 792 435 0 4823 0 Current children cumulated CPU time: 2442.54 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20612 KiB [startup+2502.3 s] /proc/loadavg: 2.01 2.04 2.02 3/187 24908 /proc/meminfo: memFree=26647824/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20684 CPUtime=2502.54 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 43609 0 0 0 250251 3 0 0 20 0 1 0 90159400 46940160 5171 33554432000 4194304 5972588 140725228907552 140725228904776 4935428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5171 792 435 0 4823 0 Current children cumulated CPU time: 2502.54 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20684 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.01 2.04 2.02 3/187 24908 /proc/meminfo: memFree=26648056/32770624 swapFree=67108860/67108860 [pid=24727] ppid=24724 vsize=45840 memory=20684 CPUtime=2520.04 cores=0,2,4,6 /proc/24727/stat : 24727 (cosoco) R 24724 24727 24318 0 -1 4202496 43623 0 0 0 252001 3 0 0 20 0 1 0 90159400 46940160 5171 33554432000 4194304 5972588 140725228907552 140725228904776 4935649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 22016000 140725228913850 140725228913950 140725228913950 140725228916686 0 /proc/24727/statm: 11460 5171 792 435 0 4823 0 Current children cumulated CPU time: 2520.04 s Current children cumulated vsize: 45840 KiB Current children cumulated memory: 20684 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 24727 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.02 s, system=0.033003 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2519.8 CPU time (s): 2520.05 CPU user time (s): 2520.02 CPU system time (s): 0.033003 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (KiB): 45840 Max. memory (cumulated for all children) (KiB): 20684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.02 system time used= 0.033003 maximum resident set size= 20800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43662 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= 14 involuntary context switches= 922 # summary of solver processes directly reported to runsolver: # pid: 24727 # total CPU time (s): 2520.05 # total CPU user time (s): 2520.02 # total CPU system time (s): 0.033003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.68517 second user time and 16.9882 second system time The end
Begin job on node105 at 2017-08-12 22:33:39 IDJOB=4265797 IDBENCH=123048 IDSOLVER=2655 FILE ID=node105/4265797-1502570877 RUNJOBID= node105-1502567255-24402 PBS_JOBID= 20628286 Free space on /tmp= 60664 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug30.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265797-1502570877/watcher-4265797-1502570877 -o /tmp/evaluation-result-4265797-1502570877/solver-4265797-1502570877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265797-1502570877.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7992d423b18f632a54772c1bcf249848 RANDOM SEED=171679953 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.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.17 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.55 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 : 2668.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.17 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 : 2668.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.55 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 : 2668.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.17 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 : 2668.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.55 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 : 2668.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.17 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 : 2668.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 22803156 kB MemAvailable: 28107352 kB Buffers: 135676 kB Cached: 5446064 kB SwapCached: 0 kB Active: 4507724 kB Inactive: 4994116 kB Active(anon): 3922960 kB Inactive(anon): 25056 kB Active(file): 584764 kB Inactive(file): 4969060 kB Unevictable: 6252 kB Mlocked: 6252 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2388 kB Writeback: 8 kB AnonPages: 3926236 kB Mapped: 44432 kB Shmem: 25228 kB Slab: 157560 kB SReclaimable: 132416 kB SUnreclaim: 25144 kB KernelStack: 3344 kB PageTables: 12512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4364040 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3854336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-12 23:15:39