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