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