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