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