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