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