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