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