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