(1,18) (2,22) (4,28) (5,16) (6,25) (7,29) (8,26) (9,20) (10,19) (11,17) (13,23) (14,24) (15,30) 
nodes: 711  conflicts: 53  modelTime: 661  solveTime: 951  totalTime: 1619  modelSize: 41292  readTime: 7 size: 13