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