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