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