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