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