(1,13) (2,15) (3,6) (5,17) (7,10) (8,12) (9,25) (11,24) (14,27) (18,29) (19,22) (20,23) (21,26) (28,30) 
nodes: 12582  conflicts: 44  modelTime: 947  solveTime: 40709  totalTime: 41667  modelSize: 72273  readTime: 11 size: 14