(1,30) (3,17) (5,26) (6,21) (7,19) (8,27) (9,29) (10,20) (11,16) (12,22) (14,24) (15,18) 
nodes: 3771  conflicts: 37  modelTime: 664  solveTime: 4766  totalTime: 5436  modelSize: 41298  readTime: 6 size: 12