(1,23) (2,19) (4,25) (5,8) (6,29) (7,22) (9,30) (10,12) (11,15) (13,27) (14,26) (16,21) (17,20) (18,28) 
nodes: 2368  conflicts: 72  modelTime: 1694  solveTime: 11017  totalTime: 12731  modelSize: 72262  readTime: 20 size: 14