(1,23) (2,24) (3,20) (4,16) (5,26) (6,25) (7,21) (8,28) (9,17) (10,18) (11,22) (12,29) (13,30) (15,19) 
nodes: 10000  conflicts: 20  modelTime: 654  solveTime: 18384  totalTime: 19043  modelSize: 41293  readTime: 5 size: 14