(1,7) (2,29) (3,15) (5,6) (8,26) (9,16) (10,17) (11,20) (12,18) (13,21) (14,24) (19,25) (22,30) (27,28) 
nodes: 10746  conflicts: 44  modelTime: 1029  solveTime: 40366  totalTime: 41406  modelSize: 72262  readTime: 11 size: 14