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