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