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