(1,24) (4,17) (5,19) (6,26) (7,14) (8,12) (9,18) (10,13) (11,22) (15,16) (20,25) (21,29) (23,27) (28,30) 
nodes: 11925  conflicts: 66  modelTime: 1713  solveTime: 34433  totalTime: 36167  modelSize: 72263  readTime: 21 size: 14