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