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