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