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