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