(1,18) (2,27) (3,8) (4,17) (5,24) (6,12) (7,19) (9,23) (10,16) (11,20) (13,14) (15,29) (21,22) (25,28) (26,30) 
nodes: 154574  conflicts: 38  modelTime: 1722  solveTime: 424380  totalTime: 426121  modelSize: 72262  readTime: 19 size: 15