(2,24) (3,28) (4,22) (5,20) (8,18) (9,19) (10,30) (11,26) (12,21) (13,23) (14,16) (15,29) 
nodes: 690  conflicts: 66  modelTime: 657  solveTime: 808  totalTime: 1473  modelSize: 41292  readTime: 7 size: 12