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