(1,21) (2,8) (3,28) (4,10) (5,29) (6,25) (7,12) (9,11) (13,18) (14,26) (15,22) (16,17) (19,20) (23,27) (24,30) 
nodes: 462013  conflicts: 44  modelTime: 1272  solveTime: 2602621  totalTime: 2603912  modelSize: 72275  readTime: 19 size: 15