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