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