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