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