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