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