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