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