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