(1,19) (2,23) (3,12) (4,9) (5,29) (6,8) (7,28) (10,24) (13,15) (14,16) (17,27) (18,20) (21,26) (25,30) 
nodes: 4329  conflicts: 29  modelTime: 1238  solveTime: 22037  totalTime: 23294  modelSize: 72262  readTime: 19 size: 14