(1,20) (4,19) (5,18) (6,27) (7,28) (8,23) (10,29) (11,16) (12,22) (13,25) (14,21) (15,30) 
nodes: 484  conflicts: 68  modelTime: 671  solveTime: 885  totalTime: 1563  modelSize: 41293  readTime: 7 size: 12