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