(1,24) (2,25) (3,8) (5,12) (6,30) (7,27) (9,11) (10,13) (14,19) (15,29) (17,20) (18,26) (22,28) 
nodes: 4647  conflicts: 96  modelTime: 935  solveTime: 13557  totalTime: 14503  modelSize: 72264  readTime: 11 size: 13