(2,30) (3,29) (6,19) (7,24) (8,21) (9,20) (10,16) (11,26) (12,28) (13,25) (14,17) (15,18) 
nodes: 1282  conflicts: 50  modelTime: 665  solveTime: 1690  totalTime: 2362  modelSize: 41292  readTime: 7 size: 12