(2,21) (3,30) (4,20) (5,16) (6,29) (7,18) (8,22) (9,24) (10,23) (12,26) (13,28) (14,17) (15,25) 
nodes: 1388  conflicts: 54  modelTime: 1181  solveTime: 2056  totalTime: 3246  modelSize: 41292  readTime: 9 size: 13