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