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