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