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