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