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