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