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