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