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