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