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