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