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