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