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