(2,22) (4,21) (5,19) (6,20) (7,16) (8,27) (9,26) (10,30) (11,18) (12,29) (13,25) (15,28) 
nodes: 1004  conflicts: 66  modelTime: 661  solveTime: 1335  totalTime: 2003  modelSize: 41292  readTime: 7 size: 12