(2,25) (3,29) (4,20) (5,30) (8,23) (9,28) (10,26) (11,24) (12,17) (13,21) (14,19) (15,27) 
nodes: 1505  conflicts: 59  modelTime: 672  solveTime: 2727  totalTime: 3406  modelSize: 41292  readTime: 7 size: 12