(1,12) (2,22) (3,29) (4,13) (5,27) (6,30) (7,19) (8,24) (9,11) (10,14) (15,18) (16,25) (17,21) (20,28) (23,26) 
nodes: 10465  conflicts: 56  modelTime: 923  solveTime: 34422  totalTime: 35356  modelSize: 72266  readTime: 11 size: 15