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