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