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