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