(1,5) (2,24) (3,14) (4,23) (6,19) (7,28) (8,27) (9,12) (10,26) (11,22) (13,29) (15,30) (17,18) (20,21) 
nodes: 61376  conflicts: 48  modelTime: 1704  solveTime: 224454  totalTime: 226177  modelSize: 72264  readTime: 19 size: 14