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