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