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