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