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