(1,17) (2,4) (3,15) (5,20) (6,11) (7,14) (8,16) (9,18) (10,30) (12,23) (13,19) (21,27) (26,29) 
nodes: 5916  conflicts: 53  modelTime: 944  solveTime: 17888  totalTime: 18844  modelSize: 72262  readTime: 12 size: 13