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