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