(1,26) (2,25) (3,17) (4,27) (5,22) (6,18) (7,19) (8,30) (9,23) (10,16) (11,20) (12,28) (13,24) (14,29) (15,21) 
nodes: 19204  conflicts: 10  modelTime: 946  solveTime: 64302  totalTime: 65256  modelSize: 41292  readTime: 8 size: 15