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