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