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