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