(1,22) (2,20) (3,16) (4,17) (7,27) (8,18) (9,25) (10,29) (11,19) (13,28) (14,21) (15,26) 
nodes: 3035  conflicts: 34  modelTime: 666  solveTime: 5019  totalTime: 5692  modelSize: 41292  readTime: 6 size: 12