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