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