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