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