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