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