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