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