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