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