(1,25) (2,20) (3,17) (4,23) (5,24) (6,21) (7,22) (8,30) (11,26) (12,16) (13,28) (14,19) (15,29) 
nodes: 4334  conflicts: 46  modelTime: 966  solveTime: 11454  totalTime: 12429  modelSize: 41292  readTime: 9 size: 13