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