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