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