(2,29) (3,4) (5,14) (6,20) (7,15) (8,25) (9,26) (10,23) (11,12) (13,22) (16,19) (17,28) (18,21) (24,30) 
nodes: 160362  conflicts: 48  modelTime: 928  solveTime: 396390  totalTime: 397330  modelSize: 72264  readTime: 12 size: 14