(1,25) (2,30) (3,19) (4,20) (5,22) (7,28) (8,17) (9,21) (10,23) (11,29) (12,16) (14,18) (15,26) 
nodes: 7945  conflicts: 35  modelTime: 654  solveTime: 15269  totalTime: 15928  modelSize: 41293  readTime: 5 size: 13