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