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