(1,28) (2,21) (4,16) (5,30) (6,12) (7,19) (8,9) (10,27) (11,15) (13,25) (14,17) (18,20) (22,29) (23,24) 
nodes: 4099  conflicts: 51  modelTime: 1705  solveTime: 14644  totalTime: 16370  modelSize: 72262  readTime: 21 size: 14