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