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