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