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