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