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