(1,27) (2,28) (3,24) (4,17) (5,29) (6,25) (7,19) (8,18) (10,22) (12,30) (13,23) (15,26) 
nodes: 3235  conflicts: 69  modelTime: 657  solveTime: 5753  totalTime: 6417  modelSize: 41292  readTime: 6 size: 12