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