(2,28) (3,24) (4,22) (5,30) (6,25) (7,17) (8,26) (9,23) (11,19) (12,20) (13,16) (14,21) (15,18) 
nodes: 1278  conflicts: 46  modelTime: 659  solveTime: 1460  totalTime: 2125  modelSize: 41292  readTime: 6 size: 13