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