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