(1,16) (2,8) (3,5) (6,7) (9,22) (10,26) (11,25) (12,20) (13,18) (14,24) (17,30) (19,27) (21,28) (23,29) 
nodes: 7099  conflicts: 42  modelTime: 1063  solveTime: 28288  totalTime: 29371  modelSize: 72272  readTime: 20 size: 14