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