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