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