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