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