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