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