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