(1,27) (2,12) (3,30) (4,17) (5,20) (6,7) (8,13) (10,21) (11,22) (14,15) (16,18) (19,29) (23,26) (24,25) 
nodes: 9766  conflicts: 49  modelTime: 1733  solveTime: 41683  totalTime: 43437  modelSize: 72262  readTime: 21 size: 14