(2,19) (4,18) (5,22) (6,27) (7,29) (8,30) (9,28) (10,16) (11,17) (12,23) (13,24) (14,26) (15,25) 
nodes: 21154  conflicts: 48  modelTime: 658  solveTime: 31987  totalTime: 32651  modelSize: 41292  readTime: 6 size: 13