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