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