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