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