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