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