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