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