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