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