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