(1,7) (2,27) (3,21) (4,24) (5,15) (6,30) (8,19) (9,18) (10,28) (11,17) (12,26) (13,14) (16,22) (20,25) (23,29) 
nodes: 215593  conflicts: 21  modelTime: 1233  solveTime: 1214746  totalTime: 1215997  modelSize: 72285  readTime: 18 size: 15