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