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