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