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