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