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