(1,15) (2,17) (3,30) (4,8) (5,19) (7,25) (9,16) (10,12) (11,13) (14,29) (18,28) (20,24) (21,23) (22,26) 
nodes: 55920  conflicts: 31  modelTime: 1038  solveTime: 190174  totalTime: 191223  modelSize: 72262  readTime: 11 size: 14