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