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