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