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