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