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