(1,26) (2,8) (3,5) (4,23) (6,13) (7,25) (9,30) (11,12) (14,22) (15,20) (17,18) (19,24) (21,28) (27,29) 
nodes: 6640  conflicts: 49  modelTime: 945  solveTime: 23015  totalTime: 23971  modelSize: 72266  readTime: 11 size: 14