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