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