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