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