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