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