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