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