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