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