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