(1,29) (2,3) (4,27) (6,18) (7,28) (8,10) (9,26) (11,24) (13,30) (14,16) (15,20) (17,25) (19,21) (22,23) 
nodes: 9301  conflicts: 20  modelTime: 950  solveTime: 58827  totalTime: 59919  modelSize: 72275  readTime: 142 size: 14