(2,25) (3,27) (4,21) (5,24) (6,16) (7,17) (8,22) (9,28) (10,26) (11,23) (12,18) (13,20) (14,29) (15,30) 
nodes: 6449  conflicts: 24  modelTime: 655  solveTime: 11313  totalTime: 11974  modelSize: 41292  readTime: 6 size: 14