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