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