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