(1,4) (2,16) (3,13) (5,21) (6,18) (7,14) (8,29) (9,24) (10,23) (11,22) (12,19) (15,26) (17,25) (20,28) (27,30) 
nodes: 246610  conflicts: 63  modelTime: 962  solveTime: 938146  totalTime: 939119  modelSize: 72266  readTime: 11 size: 15