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