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