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