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