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