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