(2,20) (3,26) (5,23) (7,21) (8,25) (9,19) (10,30) (11,18) (12,16) (13,24) (14,17) (15,29) 
nodes: 580  conflicts: 59  modelTime: 657  solveTime: 989  totalTime: 1652  modelSize: 41292  readTime: 6 size: 12