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