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