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