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