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