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