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