(1,30) (2,11) (3,18) (4,16) (5,24) (6,19) (7,17) (8,23) (9,28) (10,26) (14,25) (15,21) (20,29) (22,27) 
nodes: 17249  conflicts: 87  modelTime: 1630  solveTime: 32989  totalTime: 34659  modelSize: 72264  readTime: 40 size: 14