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