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