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