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