(1,25) (2,24) (3,23) (4,27) (5,20) (6,21) (7,22) (8,17) (9,18) (10,30) (11,28) (12,29) (13,26) (14,19) (15,16) 
nodes: 2075  conflicts: 12  modelTime: 1046  solveTime: 4454  totalTime: 5506  modelSize: 41293  readTime: 6 size: 15