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