(1,18) (2,20) (4,25) (5,23) (8,17) (9,28) (10,30) (11,16) (12,26) (13,19) (14,24) (15,22) 
nodes: 1012  conflicts: 52  modelTime: 663  solveTime: 1402  totalTime: 2071  modelSize: 41292  readTime: 6 size: 12