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