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