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