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