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