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