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