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