(1,24) (2,14) (3,12) (4,20) (5,26) (6,22) (7,27) (8,16) (9,25) (10,29) (11,15) (13,30) (19,28) (21,23) 
nodes: 3351  conflicts: 49  modelTime: 1716  solveTime: 13236  totalTime: 14973  modelSize: 72263  readTime: 21 size: 14