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