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