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