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