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