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