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