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