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