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