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