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