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