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