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