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