(1,19) (2,17) (3,8) (4,24) (5,11) (6,18) (7,27) (9,25) (10,14) (13,28) (15,21) (16,26) (20,29) (22,30) 
nodes: 3986  conflicts: 91  modelTime: 941  solveTime: 10781  totalTime: 11734  modelSize: 72262  readTime: 12 size: 14