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