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