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