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