(1,23) (2,26) (3,14) (4,13) (5,11) (7,12) (8,29) (9,19) (10,27) (15,28) (17,20) (18,30) (21,25) (22,24) 
nodes: 29366  conflicts: 61  modelTime: 1122  solveTime: 103008  totalTime: 104150  modelSize: 72263  readTime: 20 size: 14