(1,13) (2,17) (3,7) (4,20) (5,14) (6,24) (8,27) (9,30) (10,19) (12,25) (15,16) (18,23) (21,28) (22,29) 
nodes: 10805  conflicts: 72  modelTime: 1707  solveTime: 33363  totalTime: 35173  modelSize: 72262  readTime: 103 size: 14