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