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