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