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