(1,18) (2,30) (4,17) (5,16) (6,24) (8,21) (9,19) (10,27) (11,29) (13,26) (14,22) (15,20) 
nodes: 2334  conflicts: 63  modelTime: 660  solveTime: 3013  totalTime: 3680  modelSize: 41293  readTime: 7 size: 12