(1,9) (2,20) (3,19) (4,7) (5,14) (6,16) (8,29) (10,25) (11,22) (12,24) (15,23) (17,26) (18,28) (27,30) 
nodes: 3372  conflicts: 72  modelTime: 1724  solveTime: 14923  totalTime: 16680  modelSize: 72262  readTime: 33 size: 14