(1,25) (2,21) (3,26) (4,18) (5,19) (6,27) (7,16) (8,30) (9,28) (10,29) (12,23) (14,22) (15,24) 
nodes: 6885  conflicts: 41  modelTime: 663  solveTime: 9912  totalTime: 10581  modelSize: 41292  readTime: 6 size: 13