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