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