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