(1,22) (2,9) (3,18) (4,19) (5,14) (6,7) (8,21) (10,20) (11,28) (12,26) (13,29) (15,17) (16,27) (23,30) (24,25) 
nodes: 287024  conflicts: 34  modelTime: 1403  solveTime: 1158221  totalTime: 1159634  modelSize: 72268  readTime: 10 size: 15