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