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