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